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