name | mode | size |
---|---|---|
.. | ||
cmu | 120000 | |
README | 100644 | 1 kb |
ast-td.scm | 100644 | 1 kb |
ast.scm | 100644 | 1 kb |
definitions.scm | 100644 | 8 kb |
exp-structs.scm | 100644 | 8 kb |
modules.scm | 100644 | 8 kb |
predicates.scm | 100644 | 0 kb |
tc-structs.scm | 100644 | 2 kb |
type-structs.scm | 100644 | 4 kb |
valdef-structs.scm | 100644 | 8 kb |
This directory defines the primary data structures used in the compiler
using the `define-struct' macro defined in the struct directory.
Structures are divided into the following catagories:
Basic structures: (basic-structs)
References to variables, data constructors, classes, type constructors
All references contain the name of the object referred to and a
field that will receive the actual definition object when scoping
has been resolved.
Fixity: (l | n | r, Int)
Module structures: (module-structs)
The module ast, import & export related ast's, and fixity definition.
Type system structures: (type-structs)
The representation of data types and the type related declarations:
type, data, class, and instance.
Value declarations: (valdef-structs)
Expressions: (expr-structs)
Definitions: (definition-structs)
Flic structures: (flic-structs)