blob: 8a3a82f251b7fbd8430e15079732f122b5688ffa (
about) (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
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")))
|