1 (* Copyright (C) 2016-2017 Matthew Fluet.
2 * Copyright (C) 2004-2007 Henry Cejtin, Matthew Fluet, Suresh
3 * Jagannathan, and Stephen Weeks.
5 * MLton is released under a BSD-style license.
6 * See the file MLton-LICENSE for details.
14 "nonexhaustiveBind warn" "nonexhaustiveMatch warn"
15 "redundantBind warn" "redundantMatch warn"
16 "sequenceNonUnit warn"
20 ann "allowRedefineSpecialIds true" in
23 ../util/integral-comparisons.sml
24 ../util/string-comparisons.sml
25 ../util/real-comparisons.sml
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
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
47 ../config/bind/int-prim.sml
48 ../config/bind/pointer-prim.sml
49 ../config/bind/real-prim.sml
50 ../config/bind/word-prim.sml
52 ../config/objptr/objptr-$(OBJPTR_REP).sml
53 ../config/seqindex/seqindex-$(SEQINDEX_INT).sml
54 $(LIB_MLTON_DIR)/targets/$(TARGET)/sml/c-types.sml
56 ../config/c/position.sml
57 ../config/c/sys-word.sml
77 (* Check compatibility between primitives and runtime functions. *)