Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | local |
2 | $(SML_LIB)/basis/basis.mlb | |
3 | $(SML_LIB)/basis/mlton.mlb | |
4 | $(SML_LIB)/basis/c-types.mlb | |
5 | in | |
6 | ann | |
7 | "nonexhaustiveBind warn" "nonexhaustiveMatch warn" | |
8 | "redundantBind warn" "redundantMatch warn" | |
9 | "sequenceNonUnit warn" | |
10 | "warnUnused true" "forceUsed" | |
11 | in | |
12 | local | |
13 | linkage.sig | |
14 | ann "allowFFI true" in | |
15 | platform/rtld-flags.$(TARGET_OS).sml | |
16 | linkage-libdl.sml | |
17 | end | |
18 | bitop-fn.sml | |
19 | mlrep.sml | |
20 | memaccess.sig | |
21 | memaccess.sml | |
22 | memalloc.sig | |
23 | ann "allowFFI true" in | |
24 | memalloc-unix.sml | |
25 | end | |
26 | memory.sig | |
27 | memory.sml | |
28 | in | |
29 | signature CMEMORY | |
30 | structure CMemory | |
31 | signature DYN_LINKAGE | |
32 | structure DynLinkage | |
33 | structure MLRep | |
34 | end | |
35 | end | |
36 | end |