diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-04 18:24:46 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-04 18:24:46 +0200 |
| commit | 7b29b31648fd737e7bbc007f480b799add91bc6b (patch) | |
| tree | e724c15c959d98ece73c186b82a61100f4e8d06a /cpp.mlb | |
| parent | d7d4830443f1e385af862462f976553c8a9033e1 (diff) | |
Beginning of the preprocessor
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 |