diff src/compiler.sig @ 134:18299126a343

MonoShake
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 13:12:16 -0400
parents 55d8cfa4d024
children c0ea24dcb86f
line wrap: on
line diff
--- a/src/compiler.sig	Thu Jul 17 12:59:52 2008 -0400
+++ b/src/compiler.sig	Thu Jul 17 13:12:16 2008 -0400
@@ -50,6 +50,7 @@
     val mono_opt' : job -> Mono.file option
     val untangle : job -> Mono.file option
     val mono_reduce : job -> Mono.file option
+    val mono_shake : job -> Mono.file option
     val mono_opt : job -> Mono.file option
     val cjrize : job -> Cjr.file option
 
@@ -65,6 +66,7 @@
     val testMono_opt' : job -> unit
     val testUntangle : job -> unit
     val testMono_reduce : job -> unit
+    val testMono_shake : job -> unit
     val testMono_opt : job -> unit
     val testCjrize : job -> unit