summaryrefslogtreecommitdiff
path: root/cpp.mlb
diff options
context:
space:
mode:
Diffstat (limited to 'cpp.mlb')
-rw-r--r--cpp.mlb20
1 files changed, 0 insertions, 20 deletions
diff --git a/cpp.mlb b/cpp.mlb
deleted file mode 100644
index 0cc9341..0000000
--- a/cpp.mlb
+++ /dev/null
@@ -1,20 +0,0 @@
-ann
- "allowRecordPunExps true"
- "warnUnused true"
-in
- $(SML_LIB)/basis/basis.mlb
- $(SML_LIB)/basis/mlton.mlb
- general.sml
-
- stream.sig
- stream.sml
-
- hashtable.sig
- hashtable.sml
-
- tokenizer.sig
- tokenizer.sml
-
- exn_handler.sml
- cpp.sml
-end