diff src/compiler.sml @ 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 8f2159040bbb
children 7a4b026e45dd
line wrap: on
line diff
--- a/src/compiler.sml	Sat Jul 18 15:08:21 2009 -0400
+++ b/src/compiler.sml	Sun Jul 19 17:45:02 2009 -0400
@@ -779,7 +779,9 @@
 
 val toEspecialize = transform especialize "especialize" o toShake3
 
-val toShake4 = transform shake "shake4" o toEspecialize
+val toReduce2 = transform reduce "reduce2" o toEspecialize
+
+val toShake4 = transform shake "shake4" o toReduce2
 
 val marshalcheck = {
     func = (fn file => (MarshalCheck.check file; file)),