Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / mlton / core-ml / sources.cm
CommitLineData
7f918cf1
CE
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
9Group
10
11signature CORE_ML
12functor CoreML
13functor DeadCode
14
15is
16
17../../lib/mlton/sources.cm
18../ast/sources.cm
19../atoms/sources.cm
20../control/sources.cm
21
22core-ml.sig
23core-ml.fun
24dead-code.sig
25dead-code.fun