Mercurial > urweb

comparison src/compiler.sig @ 29:537db4ee89f4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Translation to Cjr
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Jun 2008 18:28:43 -0400
parents 4ab19c19665f
children 1c91c5e6840f
comparison
equal deleted inserted replaced
28:104d43266b33 29:537db4ee89f4
27 27
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 compile : string -> unit
33
32 val parse : string -> Source.file option 34 val parse : string -> Source.file option
33 val elaborate : ElabEnv.env -> string -> (ElabEnv.env * Elab.file) option 35 val elaborate : ElabEnv.env -> string -> (ElabEnv.env * Elab.file) option
34 val corify : ElabEnv.env -> CoreEnv.env -> string -> Core.file option 36 val corify : ElabEnv.env -> CoreEnv.env -> string -> Core.file option
35 val reduce : ElabEnv.env -> CoreEnv.env -> string -> Core.file option 37 val reduce : ElabEnv.env -> CoreEnv.env -> string -> Core.file option
36 val shake : ElabEnv.env -> CoreEnv.env -> string -> Core.file option 38 val shake : ElabEnv.env -> CoreEnv.env -> string -> Core.file option
37 val monoize : ElabEnv.env -> CoreEnv.env -> string -> Mono.file option 39 val monoize : ElabEnv.env -> CoreEnv.env -> string -> Mono.file option
38 val cloconv : ElabEnv.env -> CoreEnv.env -> string -> Flat.file option 40 val cloconv : ElabEnv.env -> CoreEnv.env -> string -> Flat.file option
41 val cjrize : ElabEnv.env -> CoreEnv.env -> string -> Cjr.file option
39 42
40 val testParse : string -> unit 43 val testParse : string -> unit
41 val testElaborate : string -> unit 44 val testElaborate : string -> unit
42 val testCorify : string -> unit 45 val testCorify : string -> unit
43 val testReduce : string -> unit 46 val testReduce : string -> unit
44 val testShake : string -> unit 47 val testShake : string -> unit
45 val testMonoize : string -> unit 48 val testMonoize : string -> unit
46 val testCloconv : string -> unit 49 val testCloconv : string -> unit
50 val testCjrize : string -> unit
47 51
48 end 52 end