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 /ccross.mlb | |
| parent | d7d4830443f1e385af862462f976553c8a9033e1 (diff) | |
Beginning of the preprocessor
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 |