Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* Copyright (C) 2016-2017 Matthew Fluet. |
2 | * Copyright (C) 2004-2007 Henry Cejtin, Matthew Fluet, Suresh | |
3 | * Jagannathan, and Stephen Weeks. | |
4 | * | |
5 | * MLton is released under a BSD-style license. | |
6 | * See the file MLton-LICENSE for details. | |
7 | *) | |
8 | ||
9 | ann | |
10 | "allowConstant true" | |
11 | "allowFFI true" | |
12 | "allowPrim true" | |
13 | "deadCode true" | |
14 | "nonexhaustiveBind warn" "nonexhaustiveMatch warn" | |
15 | "redundantBind warn" "redundantMatch warn" | |
16 | "sequenceNonUnit warn" | |
17 | "warnUnused false" | |
18 | in | |
19 | prim-basis.mlb | |
20 | ann "allowRedefineSpecialIds true" in | |
21 | prim1.sml | |
22 | end | |
23 | ../util/integral-comparisons.sml | |
24 | ../util/string-comparisons.sml | |
25 | ../util/real-comparisons.sml | |
26 | local | |
27 | ../config/bind/char-prim.sml | |
28 | ../config/bind/int-prim.sml | |
29 | ../config/bind/int-inf-prim.sml | |
30 | ../config/bind/real-prim.sml | |
31 | ../config/bind/string-prim.sml | |
32 | ../config/bind/word-prim.sml | |
33 | in ann "forceUsed" in | |
34 | ../config/choose-char.sml | |
35 | ../config/choose-int.sml | |
36 | ../config/choose-real.sml | |
37 | ../config/choose-string.sml | |
38 | ../config/choose-word.sml | |
39 | ../config/c/word-to-bool.sml | |
40 | end end | |
41 | ||
42 | prim-iwconv.sml | |
43 | prim-word.sml | |
44 | prim-int.sml | |
45 | ||
46 | local | |
47 | ../config/bind/int-prim.sml | |
48 | ../config/bind/pointer-prim.sml | |
49 | ../config/bind/real-prim.sml | |
50 | ../config/bind/word-prim.sml | |
51 | in ann "forceUsed" in | |
52 | ../config/objptr/objptr-$(OBJPTR_REP).sml | |
53 | ../config/seqindex/seqindex-$(SEQINDEX_INT).sml | |
54 | $(LIB_MLTON_DIR)/targets/$(TARGET)/sml/c-types.sml | |
55 | ../config/c/errno.sml | |
56 | ../config/c/position.sml | |
57 | ../config/c/sys-word.sml | |
58 | end end | |
59 | prim-seq.sml | |
60 | prim-nullstring.sml | |
61 | ||
62 | prim-int-inf.sml | |
63 | ||
64 | prim-char.sml | |
65 | prim-string.sml | |
66 | ||
67 | prim-real.sml | |
68 | ||
69 | prim-pack-word.sml | |
70 | prim-pack-real.sml | |
71 | ||
72 | prim-mlton.sml | |
73 | ||
74 | basis-ffi.sml | |
75 | prim2.sml | |
76 | ||
77 | (* Check compatibility between primitives and runtime functions. *) | |
78 | check-real.sml | |
79 | end |