diff options
Diffstat (limited to 'cpp.mlb')
-rw-r--r-- | cpp.mlb | 20 |
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 |