summaryrefslogtreecommitdiff
path: root/ccross.mlb
diff options
context:
space:
mode:
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