summaryrefslogtreecommitdiff
path: root/ccross.sml
diff options
context:
space:
mode:
Diffstat (limited to 'ccross.sml')
-rw-r--r--ccross.sml6
1 files changed, 1 insertions, 5 deletions
diff --git a/ccross.sml b/ccross.sml
index babe630..7743b3b 100644
--- a/ccross.sml
+++ b/ccross.sml
@@ -1,13 +1,9 @@
structure ccross:> CCROSS = struct
structure T:> TOKENIZER =
Tokenizer(structure H = Hashtable; structure S = Stream)
-
structure ppc:> PPC = ppc(structure Tree = Tree; structure T = T)
-
structure D:> DRIVER = Driver(ppc)
-
- structure ExnHandler:> EXN_HANDLER =
- ExnHandler(structure T = T; structure P = ppc)
+ structure ExnHandler: EXN_HANDLER = ExnHandler
end
val () = MLton.Exn.setTopLevelHandler ccross.ExnHandler.handler