From 9d724f17e813fa344d485329d33b5f5ecf8197a3 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Fri, 4 Apr 2025 20:53:56 +0200
Subject: Functorization

---
 ccross.mlb | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'ccross.mlb')

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
-- 
cgit v1.2.3