From 4e987026148fe65c323afbc93cd560c07bf06b3f Mon Sep 17 00:00:00 2001
From: Yale AI Dept <ai@nebula.cs.yale.edu>
Date: Wed, 14 Jul 1993 13:08:00 -0500
Subject: Import to github.

---
 type/type.scm | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 type/type.scm

(limited to 'type/type.scm')

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")))
-- 
cgit v1.2.3