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

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
InvalidConstraint (Type PName)	When it's not possible to produce a Prop from a Type.
MalformedBuiltin (Type PName) PName	When a builtin type/type-function is used incorrectly.
BoundReservedType PName (Maybe Range) Doc	When a builtin type is named in a binder.
OverlappingRecordUpdate (Located [Selector]) (Located [Selector])	When record updates overlap (e.g., `{ r \| x = e1, x.y = e2 }`)
InvalidDependency [DepName]

Instances

Instances details

Show RenamerError Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error Methods showsPrec :: Int -> RenamerError -> ShowS # show :: RenamerError -> String # showList :: [RenamerError] -> ShowS #
Generic RenamerError Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error Associated Types type Rep RenamerError :: Type -> Type # Methods from :: RenamerError -> Rep RenamerError x # to :: Rep RenamerError x -> RenamerError #
NFData RenamerError Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error Methods rnf :: RenamerError -> () #
PP RenamerError Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error Methods ppPrec :: Int -> RenamerError -> Doc Source #
type Rep RenamerError Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error type Rep RenamerError = D1 ('MetaData "RenamerError" "Cryptol.ModuleSystem.Renamer.Error" "cryptol-2.12.0-1cEC2pVyc8sLwNRndAigau" 'False) (((C1 ('MetaCons "MultipleSyms" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located PName)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name])) :+: C1 ('MetaCons "UnboundName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Namespace) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located PName)))) :+: (C1 ('MetaCons "OverlappingSyms" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name])) :+: (C1 ('MetaCons "WrongNamespace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Namespace) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Namespace) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located PName)))) :+: C1 ('MetaCons "FixityError" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located Name)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Fixity)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located Name)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Fixity)))))) :+: ((C1 ('MetaCons "InvalidConstraint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type PName))) :+: C1 ('MetaCons "MalformedBuiltin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type PName)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PName))) :+: (C1 ('MetaCons "BoundReservedType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PName) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Range)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Doc))) :+: (C1 ('MetaCons "OverlappingRecordUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located [Selector])) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located [Selector]))) :+: C1 ('MetaCons "InvalidDependency" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DepName]))))))

data DepName Source #

Constructors

NamedThing Name
ConstratintAt Range	identifed by location in source

Instances

Instances details

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 #
Show DepName Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error Methods showsPrec :: Int -> DepName -> ShowS # show :: DepName -> String # showList :: [DepName] -> ShowS #
Generic DepName Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error Associated Types type Rep DepName :: Type -> Type # Methods from :: DepName -> Rep DepName x # to :: Rep DepName x -> DepName #
NFData DepName Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error Methods rnf :: DepName -> () #
PP DepName Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error Methods ppPrec :: Int -> DepName -> Doc Source #
type Rep DepName Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error type Rep DepName = D1 ('MetaData "DepName" "Cryptol.ModuleSystem.Renamer.Error" "cryptol-2.12.0-1cEC2pVyc8sLwNRndAigau" 'False) (C1 ('MetaCons "NamedThing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "ConstratintAt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))

depNameLoc :: DepName -> Range Source #

data RenamerWarning Source #

Constructors

SymbolShadowed PName Name [Name]
UnusedName Name

Instances

Instances details

Eq RenamerWarning Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error Methods (==) :: RenamerWarning -> RenamerWarning -> Bool # (/=) :: RenamerWarning -> RenamerWarning -> Bool #
Ord RenamerWarning Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error Methods compare :: RenamerWarning -> RenamerWarning -> Ordering # (<) :: RenamerWarning -> RenamerWarning -> Bool # (<=) :: RenamerWarning -> RenamerWarning -> Bool # (>) :: RenamerWarning -> RenamerWarning -> Bool # (>=) :: RenamerWarning -> RenamerWarning -> Bool # max :: RenamerWarning -> RenamerWarning -> RenamerWarning # min :: RenamerWarning -> RenamerWarning -> RenamerWarning #
Show RenamerWarning Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error Methods showsPrec :: Int -> RenamerWarning -> ShowS # show :: RenamerWarning -> String # showList :: [RenamerWarning] -> ShowS #
Generic RenamerWarning Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error Associated Types type Rep RenamerWarning :: Type -> Type # Methods from :: RenamerWarning -> Rep RenamerWarning x # to :: Rep RenamerWarning x -> RenamerWarning #
NFData RenamerWarning Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error Methods rnf :: RenamerWarning -> () #
PP RenamerWarning Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error Methods ppPrec :: Int -> RenamerWarning -> Doc Source #
type Rep RenamerWarning Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Error type Rep RenamerWarning = D1 ('MetaData "RenamerWarning" "Cryptol.ModuleSystem.Renamer.Error" "cryptol-2.12.0-1cEC2pVyc8sLwNRndAigau" 'False) (C1 ('MetaCons "SymbolShadowed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PName) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name]))) :+: C1 ('MetaCons "UnusedName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))