Copyright	(c) 2013-2016 Galois Inc.
License	BSD3
Maintainer	cryptol@galois.com
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Cryptol.ModuleSystem.Renamer.Error

Description

Synopsis

data RenamerError
- = MultipleSyms (Located PName) [Name]
- | UnboundName Namespace (Located PName)
- | OverlappingSyms [Name]
- | WrongNamespace Namespace Namespace (Located PName)
- | FixityError (Located Name) Fixity (Located Name) Fixity
- | OverlappingRecordUpdate (Located [Selector]) (Located [Selector])
- | InvalidDependency [DepName]
- | MultipleModParams Ident [Range]
- | InvalidFunctorImport (ImpName Name)
- | UnexpectedNest Range PName
- | ModuleKindMismatch Range (ImpName Name) ModKind ModKind
data DepName
- = NamedThing Name
- | ModPath ModPath
- | ModParamName Range Ident
- | ConstratintAt Range
depNameLoc :: DepName -> Maybe Range
data ModKind
- = AFunctor
- | ASignature
- | AModule
data RenamerWarning
- = SymbolShadowed PName Name [Name]
- | UnusedName Name
- | PrefixAssocChanged PrefixOp (Expr Name) (Located Name) Fixity (Expr Name)

Documentation

data RenamerError Source #

Constructors

MultipleSyms (Located PName) [Name]	Multiple imported symbols contain this name
UnboundName Namespace (Located PName)	Some name not bound to any definition
OverlappingSyms [Name]	An environment has produced multiple overlapping symbols
WrongNamespace Namespace Namespace (Located PName)	expected, actual. When a name is missing from the expected namespace, but exists in another
FixityError (Located Name) Fixity (Located Name) Fixity	When the fixity of two operators conflict
OverlappingRecordUpdate (Located [Selector]) (Located [Selector])	When record updates overlap (e.g., `{ r \| x = e1, x.y = e2 }`)
InvalidDependency [DepName]	Things that can't depend on each other
MultipleModParams Ident [Range]	Module parameters with the same name
InvalidFunctorImport (ImpName Name)	Can't import functors directly
UnexpectedNest Range PName	Nested modules were not supposed to appear here
ModuleKindMismatch Range (ImpName Name) ModKind ModKind	Exepcted one kind (first one) but found the other (second one)

Instances

Instances details

Generic RenamerError Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Associated Types

type Rep RenamerError

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

from :: RenamerError -> Rep RenamerError x #

to :: Rep RenamerError x -> RenamerError #

Show RenamerError Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

showsPrec :: Int -> RenamerError -> ShowS #

show :: RenamerError -> String #

showList :: [RenamerError] -> ShowS #

PP RenamerError Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

ppPrec :: Int -> RenamerError -> Doc Source #

ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> RenamerError -> Doc Source #

NFData RenamerError Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

rnf :: RenamerError -> () #

Eq RenamerError Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

(==) :: RenamerError -> RenamerError -> Bool #

(/=) :: RenamerError -> RenamerError -> Bool #

Ord RenamerError Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

compare :: RenamerError -> RenamerError -> Ordering #

(<) :: RenamerError -> RenamerError -> Bool #

(<=) :: RenamerError -> RenamerError -> Bool #

(>) :: RenamerError -> RenamerError -> Bool #

(>=) :: RenamerError -> RenamerError -> Bool #

max :: RenamerError -> RenamerError -> RenamerError #

min :: RenamerError -> RenamerError -> RenamerError #

type Rep RenamerError Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

data DepName Source #

We use this to name dependencies. In addition to normal names we have a way to refer to module parameters and top-level module constraints, which have no explicit names

Constructors

NamedThing Name	Something with a name
ModPath ModPath	The module at this path
ModParamName Range Ident	Note that the range is important not just for error reporting but to distinguish module parameters with the same name (e.g., in nested functors)
ConstratintAt Range	Identifed by location in source

Instances

Instances details

Generic DepName Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Associated Types

type Rep DepName

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

type Rep DepName = D1 ('MetaData "DepName" "Cryptol.ModuleSystem.Renamer.Error" "cryptol-3.5.0-HoSGjqdyafy4TMoEJgOBMg" 'False) ((C1 ('MetaCons "NamedThing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "ModPath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModPath))) :+: (C1 ('MetaCons "ModParamName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "ConstratintAt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))))

Methods

from :: DepName -> Rep DepName x #

to :: Rep DepName x -> DepName #

Show DepName Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

showsPrec :: Int -> DepName -> ShowS #

show :: DepName -> String #

showList :: [DepName] -> ShowS #

PP DepName Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

ppPrec :: Int -> DepName -> Doc Source #

ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> DepName -> Doc Source #

NFData DepName Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

rnf :: DepName -> () #

Eq DepName Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

(==) :: DepName -> DepName -> Bool #

(/=) :: DepName -> DepName -> Bool #

Ord DepName Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

compare :: DepName -> DepName -> Ordering #

(<) :: DepName -> DepName -> Bool #

(<=) :: DepName -> DepName -> Bool #

(>) :: DepName -> DepName -> Bool #

(>=) :: DepName -> DepName -> Bool #

max :: DepName -> DepName -> DepName #

min :: DepName -> DepName -> DepName #

type Rep DepName Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

type Rep DepName = D1 ('MetaData "DepName" "Cryptol.ModuleSystem.Renamer.Error" "cryptol-3.5.0-HoSGjqdyafy4TMoEJgOBMg" 'False) ((C1 ('MetaCons "NamedThing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "ModPath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModPath))) :+: (C1 ('MetaCons "ModParamName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "ConstratintAt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))))

depNameLoc :: DepName -> Maybe Range Source #

data ModKind Source #

Constructors

AFunctor
ASignature
AModule

Instances

Instances details

Generic ModKind Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Associated Types

type Rep ModKind
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error type Rep ModKind = D1 ('MetaData "ModKind" "Cryptol.ModuleSystem.Renamer.Error" "cryptol-3.5.0-HoSGjqdyafy4TMoEJgOBMg" 'False) (C1 ('MetaCons "AFunctor" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ASignature" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AModule" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: ModKind -> Rep ModKind x #

to :: Rep ModKind x -> ModKind #

Show ModKind Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

showsPrec :: Int -> ModKind -> ShowS #

show :: ModKind -> String #

showList :: [ModKind] -> ShowS #

PP ModKind Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

ppPrec :: Int -> ModKind -> Doc Source #

ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> ModKind -> Doc Source #

NFData ModKind Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

rnf :: ModKind -> () #

Eq ModKind Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

(==) :: ModKind -> ModKind -> Bool #

(/=) :: ModKind -> ModKind -> Bool #

Ord ModKind Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

compare :: ModKind -> ModKind -> Ordering #

(<) :: ModKind -> ModKind -> Bool #

(<=) :: ModKind -> ModKind -> Bool #

(>) :: ModKind -> ModKind -> Bool #

(>=) :: ModKind -> ModKind -> Bool #

max :: ModKind -> ModKind -> ModKind #

min :: ModKind -> ModKind -> ModKind #

type Rep ModKind Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

type Rep ModKind = D1 ('MetaData "ModKind" "Cryptol.ModuleSystem.Renamer.Error" "cryptol-3.5.0-HoSGjqdyafy4TMoEJgOBMg" 'False) (C1 ('MetaCons "AFunctor" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ASignature" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AModule" 'PrefixI 'False) (U1 :: Type -> Type)))

data RenamerWarning Source #

Constructors