Mercurial > urweb
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 |