blob: 1dab7482803d2766fc6be490ab4188b483d4fbdb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
structure ccross:> CCROSS = struct
structure T:> TOKENIZER =
Tokenizer(structure H = Hashtable; structure S = Stream)
structure ppc:> PPC = ppc(structure H = Hashtable; structure T = T)
structure D:> DRIVER = Driver(ppc)
structure ExnHandler:> EXN_HANDLER =
ExnHandler(structure T = T; structure P = ppc)
end
val () = MLton.Exn.setTopLevelHandler ccross.ExnHandler.handler
val () = ccross.D.exec ()
|
