summaryrefslogtreecommitdiff
path: root/cpp.mlb
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-03-24 21:51:16 +0100
committerVladimir Azarov <avm@intermediate-node.net>2025-03-24 21:51:16 +0100
commit87217fe5ba58f5199d30586b5d9bec104dece445 (patch)
tree00a43d11ebdfbb65750e80758ce1925e4c6a1a3e /cpp.mlb
parente40727b58e357f123256557af50666aa42c2caa4 (diff)
Partition into structures
Diffstat (limited to 'cpp.mlb')
-rw-r--r--cpp.mlb8
1 files changed, 8 insertions, 0 deletions
diff --git a/cpp.mlb b/cpp.mlb
index 8039660..dd7fb36 100644
--- a/cpp.mlb
+++ b/cpp.mlb
@@ -4,6 +4,14 @@ ann
in
$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/mlton.mlb
+ general.sml
+ stream.sig
+ stream.sml
+
+ tokenizer.sig
+ tokenizer.sml
+
+ exn_handler.sml
cpp.sml
end