comparison src/compiler.sig @ 183:c0ea24dcb86f

Optimizing 'case' in Mono_reduce
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 13:30:27 -0400
parents 18299126a343
children 8a70e2919e86
comparison
equal deleted inserted replaced
182:d11754ffe252 183:c0ea24dcb86f
29 29
30 signature COMPILER = sig 30 signature COMPILER = sig
31 31
32 type job = string list 32 type job = string list
33 val compile : job -> unit 33 val compile : job -> unit
34 val compileC : {cname : string, oname : string, ename : string} -> unit
34 35
35 val parseLig : string -> Source.sgn_item list option 36 val parseLig : string -> Source.sgn_item list option
36 val testLig : string -> unit 37 val testLig : string -> unit
37 38
38 val parseLac : string -> Source.file option 39 val parseLac : string -> Source.file option