Mercurial > urweb
comparison src/compiler.sig @ 5:258261a53842
Elaborating files
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 26 Jan 2008 16:02:47 -0500 |
parents | 5c3cc348e9e6 |
children | bc7b76ca57e0 |
comparison
equal
deleted
inserted
replaced
4:5c3cc348e9e6 | 5:258261a53842 |
---|---|
28 (* Laconic/Web main compiler interface *) | 28 (* Laconic/Web main compiler interface *) |
29 | 29 |
30 signature COMPILER = sig | 30 signature COMPILER = sig |
31 | 31 |
32 val parse : string -> Source.file option | 32 val parse : string -> Source.file option |
33 val elaborate : ElabEnv.env -> string -> (ElabEnv.env * Elab.file) option | |
33 | 34 |
34 val testParse : string -> unit | 35 val testParse : string -> unit |
36 val testElaborate : string -> unit | |
35 | 37 |
36 end | 38 end |