diff src/compiler.sig @ 898:d1d0b18afd3d

Working on Grid; have gone from one dynamic table bizareness to another
author Adam Chlipala <adamc@hcoop.net>
date Sun, 19 Jul 2009 17:45:02 -0400
parents b2a175a0f2ef
children b873feb3eb52
line wrap: on
line diff
--- a/src/compiler.sig	Sat Jul 18 15:08:21 2009 -0400
+++ b/src/compiler.sig	Sun Jul 19 17:45:02 2009 -0400
@@ -120,6 +120,7 @@
     val toSpecialize : (string, Core.file) transform 
     val toShake3 : (string, Core.file) transform
     val toEspecialize : (string, Core.file) transform 
+    val toReduce2 : (string, Core.file) transform
     val toShake4 : (string, Core.file) transform
     val toMarshalcheck : (string, Core.file) transform
     val toEffectize : (string, Core.file) transform