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