Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / basis-library / basis-2002.mlb
... / ...
CommitLineData
1(* Copyright (C) 2004-2005 Henry Cejtin, Matthew Fluet, Suresh
2 * Jagannathan, and Stephen Weeks.
3 *
4 * MLton is released under a BSD-style license.
5 * See the file MLton-LICENSE for details.
6 *)
7
8ann
9 "deadCode true"
10 "nonexhaustiveBind warn" "nonexhaustiveMatch warn"
11 "redundantBind warn" "redundantMatch warn"
12 "sequenceNonUnit warn"
13 "warnUnused true" "forceUsed"
14in
15 local
16 libs/basis-extra/basis-extra.mlb
17 libs/basis-2002/basis-2002.mlb
18 in
19 libs/basis-2002/top-level/basis-funs.sml
20 libs/basis-2002/top-level/basis-sigs.sml
21 libs/basis-2002/top-level/top-level.sml
22 libs/basis-2002/top-level/infixes.sml
23 ann "allowOverload true" in
24 libs/basis-2002/top-level/overloads.sml
25 end
26 end
27end