Mercurial > urweb

comparison src/compiler.sig @ 5:258261a53842

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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