diff options
author | Yale AI Dept <ai@nebula.cs.yale.edu> | 1993-07-14 13:08:00 -0500 |
---|---|---|
committer | Duncan McGreggor <duncan.mcgreggor@rackspace.com> | 1993-07-14 13:08:00 -0500 |
commit | 4e987026148fe65c323afbc93cd560c07bf06b3f (patch) | |
tree | 26ae54177389edcbe453d25a00c38c2774e8b7d4 /type/type.scm |
Import to github.
Diffstat (limited to 'type/type.scm')
-rw-r--r-- | type/type.scm | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/type/type.scm b/type/type.scm new file mode 100644 index 0000000..8a3a82f --- /dev/null +++ b/type/type.scm @@ -0,0 +1,32 @@ +(define-compilation-unit type + (source-filename "$Y2/type/") + (require ast haskell-utils) + (unit type-macros + (source-filename "type-macros.scm")) + (unit unify + (require type-macros) + (source-filename "unify.scm")) + (unit type-main + (require type-macros) + (source-filename "type-main.scm")) + (unit type-decl + (require type-macros) + (source-filename "type-decl.scm")) + (unit dictionary + (require type-macros) + (source-filename "dictionary.scm")) + (unit default + (require type-macros) + (source-filename "default.scm")) + (unit pattern-binding + (require type-macros) + (source-filename "pattern-binding.scm")) + (unit type-vars + (require type-macros) + (source-filename "type-vars.scm")) + (unit expression-typechecking + (require type-macros) + (source-filename "expression-typechecking.scm")) + (unit type-error-handlers + (require type-macros) + (source-filename "type-error-handlers.scm"))) |