summaryrefslogtreecommitdiff
path: root/ccross.mlb
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-04-11 21:54:16 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-04-11 21:54:16 +0200
commite99a8dc48ede26696be2ba75a8cb0d5122d94598 (patch)
treec3dcd1d6a9b96aaedd081f13b9dc7e7d6c07e2bd /ccross.mlb
parent8e2dc7712de206b87e1c46df9383c3fa1e18a43a (diff)
#include directive
Diffstat (limited to 'ccross.mlb')
-rw-r--r--ccross.mlb25
1 files changed, 8 insertions, 17 deletions
diff --git a/ccross.mlb b/ccross.mlb
index 6e36d72..322b1e4 100644
--- a/ccross.mlb
+++ b/ccross.mlb
@@ -4,23 +4,14 @@ ann
in
$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/mlton.mlb
- general.sml
+ common.sml
- stream.sig
- stream.sml
+ stream.sig stream.sml
+ hashtable.sig hashtable.sml
+ tokenizer.sig tokenizer.fun
+ cpp.sig cpp.fun
+ exn_handler.sig exn_handler.fun
+ driver.sig driver.fun
- hashtable.sig
- hashtable.sml
-
- tokenizer.sig
- tokenizer.fun
-
- cpp.sig
- cpp.fun
-
- exn_handler.sig
- exn_handler.fun
-
- ccross.sig
- ccross.sml
+ ccross.sig ccross.sml
end