comparison src/compiler.sig @ 38:d16ef24de78b

Explify
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Jun 2008 10:06:59 -0400
parents 1c91c5e6840f
children 02f42e9a1825
comparison
equal deleted inserted replaced
37:367f058aba23 38:d16ef24de78b
31 31
32 val compile : string -> unit 32 val compile : string -> unit
33 33
34 val parse : string -> Source.file option 34 val parse : string -> Source.file option
35 val elaborate : ElabEnv.env -> string -> (Elab.file * ElabEnv.env) option 35 val elaborate : ElabEnv.env -> string -> (Elab.file * ElabEnv.env) option
36 val corify : ElabEnv.env -> CoreEnv.env -> string -> Core.file option 36 val explify : ElabEnv.env -> string -> Expl.file option
37 val reduce : ElabEnv.env -> CoreEnv.env -> string -> Core.file option 37 val corify : ElabEnv.env -> string -> Core.file option
38 val shake : ElabEnv.env -> CoreEnv.env -> string -> Core.file option 38 val reduce : ElabEnv.env -> string -> Core.file option
39 val shake : ElabEnv.env -> string -> Core.file option
39 val monoize : ElabEnv.env -> CoreEnv.env -> string -> Mono.file option 40 val monoize : ElabEnv.env -> CoreEnv.env -> string -> Mono.file option
40 val cloconv : ElabEnv.env -> CoreEnv.env -> string -> Flat.file option 41 val cloconv : ElabEnv.env -> CoreEnv.env -> string -> Flat.file option
41 val cjrize : ElabEnv.env -> CoreEnv.env -> string -> Cjr.file option 42 val cjrize : ElabEnv.env -> CoreEnv.env -> string -> Cjr.file option
42 43
43 val testParse : string -> unit 44 val testParse : string -> unit
44 val testElaborate : string -> unit 45 val testElaborate : string -> unit
46 val testExplify : string -> unit
45 val testCorify : string -> unit 47 val testCorify : string -> unit
46 val testReduce : string -> unit 48 val testReduce : string -> unit
47 val testShake : string -> unit 49 val testShake : string -> unit
48 val testMonoize : string -> unit 50 val testMonoize : string -> unit
49 val testCloconv : string -> unit 51 val testCloconv : string -> unit