blob: 92810b88eba62625bd2f5ae41b7b8b57819fa074 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
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 Parser:> PARSER = Parser(ppc)
structure D:> DRIVER = Driver(Parser)
structure ExnHandler:> EXN_HANDLER = ExnHandler
end
val () = MLton.Exn.setTopLevelHandler ccross.ExnHandler.handler
val () = ccross.D.exec ()
|
