summaryrefslogtreecommitdiff
path: root/ccross.mlb
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-04-04 20:53:56 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-04-04 20:53:56 +0200
commit9d724f17e813fa344d485329d33b5f5ecf8197a3 (patch)
tree5061e604ea88a379db975b13c1d20688007cacc8 /ccross.mlb
parent7b29b31648fd737e7bbc007f480b799add91bc6b (diff)
Functorization
Diffstat (limited to 'ccross.mlb')
-rw-r--r--ccross.mlb9
1 files changed, 6 insertions, 3 deletions
diff --git a/ccross.mlb b/ccross.mlb
index 76eeb47..6e36d72 100644
--- a/ccross.mlb
+++ b/ccross.mlb
@@ -13,11 +13,14 @@ in
hashtable.sml
tokenizer.sig
- tokenizer.sml
+ tokenizer.fun
cpp.sig
- cpp.sml
+ cpp.fun
- exn_handler.sml
+ exn_handler.sig
+ exn_handler.fun
+
+ ccross.sig
ccross.sml
end