summaryrefslogtreecommitdiff
path: root/src/compiler.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-19 12:39:22 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-19 12:39:22 -0400
commit8e98be7de2dd3db541994aae47aeb45756f60098 (patch)
treebbc63e96871ef6513d974d96311deab9afd4e7a3 /src/compiler.sig
parent371b414262cfb5888759c786e21c66f883ad13c0 (diff)
Corify removes modules
Diffstat (limited to 'src/compiler.sig')
-rw-r--r--src/compiler.sig2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler.sig b/src/compiler.sig
index 9b5f36cd..eac2c538 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -35,6 +35,7 @@ signature COMPILER = sig
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 @@ signature COMPILER = sig
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