diff src/compiler.sig @ 916:b873feb3eb52

dragList almost kinda works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Sep 2009 10:18:19 -0400
parents d1d0b18afd3d
children 2831be2daf2e
line wrap: on
line diff
--- a/src/compiler.sig	Tue Sep 08 07:48:57 2009 -0400
+++ b/src/compiler.sig	Tue Sep 08 10:18:19 2009 -0400
@@ -136,6 +136,10 @@
     val toUntangle2 : (string, Mono.file) transform
     val toMono_reduce2 : (string, Mono.file) transform
     val toMono_shake2 : (string, Mono.file) transform
+    val toMono_opt4 : (string, Mono.file) transform
+    val toFuse2 : (string, Mono.file) transform
+    val toUntangle3 : (string, Mono.file) transform
+    val toMono_shake3 : (string, Mono.file) transform
     val toPathcheck : (string, Mono.file) transform
     val toCjrize : (string, Cjr.file) transform
     val toScriptcheck : (string, Cjr.file) transform