(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")))