diff src/compiler.sig @ 601:7c3c21eb5b4c

Initial experiments with nested <dyn>
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Jan 2009 15:17:11 -0500
parents 57018f21cd5c
children 0dd40b6bfdf3
line wrap: on
line diff
--- a/src/compiler.sig	Sun Jan 11 10:41:38 2009 -0500
+++ b/src/compiler.sig	Tue Jan 13 15:17:11 2009 -0500
@@ -107,6 +107,7 @@
     val toMono_opt3 : (string, Mono.file) transform
     val toFuse : (string, Mono.file) transform
     val toUntangle2 : (string, Mono.file) transform
+    val toMono_reduce2 : (string, Mono.file) transform
     val toMono_shake2 : (string, Mono.file) transform
     val toPathcheck : (string, Mono.file) transform
     val toCjrize : (string, Cjr.file) transform