diff options
Diffstat (limited to 'ccross.mlb')
-rw-r--r-- | ccross.mlb | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/ccross.mlb b/ccross.mlb new file mode 100644 index 0000000..76eeb47 --- /dev/null +++ b/ccross.mlb @@ -0,0 +1,23 @@ +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 + + cpp.sig + cpp.sml + + exn_handler.sml + ccross.sml +end |