Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / mlton / elaborate / sources.mlb
1 (* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
2 * Jagannathan, and Stephen Weeks.
3 * Copyright (C) 1997-2000 NEC Research Institute.
4 *
5 * MLton is released under a BSD-style license.
6 * See the file MLton-LICENSE for details.
7 *)
8
9 local
10 ../../lib/mlton/sources.mlb
11 ../ast/sources.mlb
12 ../atoms/sources.mlb
13 ../control/sources.mlb
14 ../core-ml/sources.mlb
15
16 decs.sig
17 decs.fun
18 type-env.sig
19 type-env.fun
20 interface.sig
21 interface.fun
22 elaborate-env.sig
23 elaborate-env.fun
24 precedence-parse.sig
25 precedence-parse.fun
26 scope.sig
27 scope.fun
28 elaborate-core.sig
29 elaborate-core.fun
30 elaborate-sigexp.sig
31 elaborate-sigexp.fun
32 elaborate-modules.sig
33 elaborate-modules.fun
34 elaborate-programs.sig
35 elaborate-programs.fun
36 elaborate-mlbs.sig
37 elaborate-mlbs.fun
38 elaborate.sig
39 elaborate.fun
40 in
41 signature CONST_TYPE
42 functor Elaborate
43 functor TypeEnv
44 end