- data Scoped l = Scoped (NameInfo l) l
- data NameInfo l
- annotate :: forall a l. (Resolvable (a (Scoped l)), Functor a, Typeable l) => Scope -> a l -> a (Scoped l)
A pair of the name information and original annotation. Used as an annotation type for AST.
|GlobalValue (SymValueInfo OrigName)|
|GlobalType (SymTypeInfo OrigName)|
local value, and location where it is bound
type variable, and location where it is bound
here the value name is bound
here the type name is defined
part of an
wildcard in a record pattern. The list contains resolved names of the fields that are brought in scope by this pattern.
|RecExpWildcard [(OrigName, NameInfo l)]|
wildcard in a record construction expression. The list contains resolved names of the fields and information about values assigned to those fields.
|ScopeError (Error l)|