Safe Haskell | None |
---|---|
Language | Haskell98 |
DDC.Core.Exp.Annot.AnTEC
Documentation
The type checker adds this annotation to every node in the AST, giving its type, effect and closure.
Constructors
AnTEC | |
Fields
|
ddc-core-0.4.2.1: Disciplined Disciple Compiler core language and type checker.
Safe Haskell | None |
---|---|
Language | Haskell98 |
DDC.Core.Exp.Annot.AnTEC
The type checker adds this annotation to every node in the AST, giving its type, effect and closure.
Constructors
AnTEC | |
Fields
|