summaryrefslogtreecommitdiff
path: root/ccross.mlb
diff options
context:
space:
mode:
Diffstat (limited to 'ccross.mlb')
-rw-r--r--ccross.mlb5
1 files changed, 4 insertions, 1 deletions
diff --git a/ccross.mlb b/ccross.mlb
index 38c8146..26be1c1 100644
--- a/ccross.mlb
+++ b/ccross.mlb
@@ -1,5 +1,6 @@
ann
"allowRecordPunExps true"
+ "allowOrPats true"
"warnUnused true"
in
$(SML_LIB)/basis/basis.mlb
@@ -11,7 +12,9 @@ in
tree.sig tree.sml
tokenizer.sig tokenizer.fun
ppc.sig ppc.fun
- exn_handler.sig exn_handler.fun
+ parser.sig parser.fun
+
+ exn_handler.sig exn_handler.sml
driver.sig driver.fun
ccross.sig ccross.sml