cryptol-2.13.0: Cryptol: The Language of Cryptography
Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

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.13.0-BA7OuzmYZ3M9j8JsJfXs6b" '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.13.0-BA7OuzmYZ3M9j8JsJfXs6b" '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.13.0-BA7OuzmYZ3M9j8JsJfXs6b" '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)))