Mercurial > urweb
diff src/compiler.sig @ 39:02f42e9a1825
Corify removes modules
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 19 Jun 2008 12:39:22 -0400 |
| parents | d16ef24de78b |
| children | 5c97b7cd912b |
line wrap: on
line diff
--- a/src/compiler.sig Thu Jun 19 10:06:59 2008 -0400 +++ b/src/compiler.sig Thu Jun 19 12:39:22 2008 -0400 @@ -35,6 +35,7 @@ val elaborate : ElabEnv.env -> string -> (Elab.file * ElabEnv.env) option val explify : ElabEnv.env -> string -> Expl.file option val corify : ElabEnv.env -> string -> Core.file option + val shake' : ElabEnv.env -> string -> Core.file option val reduce : ElabEnv.env -> string -> Core.file option val shake : ElabEnv.env -> string -> Core.file option val monoize : ElabEnv.env -> CoreEnv.env -> string -> Mono.file option @@ -45,6 +46,7 @@ val testElaborate : string -> unit val testExplify : string -> unit val testCorify : string -> unit + val testShake' : string -> unit val testReduce : string -> unit val testShake : string -> unit val testMonoize : string -> unit