Safe Haskell | None |
---|
DDC.Core.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.3.2.1: Disciplined Disciple Compiler core language and type checker.
Safe Haskell | None |
---|
DDC.Core.Annot.AnTEC
The type checker adds this annotation to every node in the AST, giving its type, effect and closure.
Constructors
AnTEC | |
Fields
|