Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | ann |
2 | "nonexhaustiveBind warn" "nonexhaustiveMatch warn" | |
3 | "redundantBind warn" "redundantMatch warn" | |
4 | "sequenceNonUnit warn" | |
5 | "warnUnused true" "forceUsed" | |
6 | in | |
7 | local | |
8 | $(SML_LIB)/basis/basis.mlb | |
9 | $(SML_LIB)/basis/mlton.mlb | |
10 | critical.sig | |
11 | critical.sml | |
12 | assert.sig | |
13 | assert.sml | |
14 | local-assert.fun | |
15 | debug.sig | |
16 | debug.sml | |
17 | local-debug.fun | |
18 | (* | |
19 | timeit.sig | |
20 | timeit.sml | |
21 | *) | |
22 | fun-queue.sig | |
23 | fun-queue.sml | |
24 | imp-queue.sig | |
25 | imp-queue.sml | |
26 | fun-priority-queue.sig | |
27 | fun-priority-queue.fun | |
28 | in | |
29 | signature CRITICAL | |
30 | structure Critical | |
31 | ||
32 | signature ASSERT | |
33 | structure Assert | |
34 | functor LocalAssert | |
35 | ||
36 | signature DEBUG | |
37 | structure Debug | |
38 | functor LocalDebug | |
39 | ||
40 | signature FUN_QUEUE | |
41 | structure FunQueue | |
42 | ||
43 | signature IMP_QUEUE | |
44 | structure ImpQueue | |
45 | ||
46 | signature FUN_PRIORITY_QUEUE_ARG | |
47 | signature FUN_PRIORITY_QUEUE | |
48 | functor FunPriorityQueue | |
49 | end | |
50 | end |