summaryrefslogtreecommitdiff
path: root/ccross.sml
blob: 7743b3b64dcb0b2f42f3e667bf4894a6b5fd0585 (plain)
1
2
3
4
5
6
7
8
9
10
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
end

val () = MLton.Exn.setTopLevelHandler ccross.ExnHandler.handler
val () = ccross.D.exec ()