changeset 24:ea15905e598d

Run a shake before reducing
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 17:21:31 -0400 (2008-06-08)
parents bfa2e9ae4df8
children 0a762c73824d
files src/compiler.sml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/compiler.sml	Sun Jun 08 17:15:09 2008 -0400
+++ b/src/compiler.sml	Sun Jun 08 17:21:31 2008 -0400
@@ -75,7 +75,7 @@
 fun reduce eenv cenv filename =
     case corify eenv cenv filename of
         NONE => NONE
-      | SOME file => SOME (Reduce.reduce file)
+      | SOME file => SOME (Reduce.reduce (Shake.shake file))
 
 fun shake eenv cenv filename =
     case reduce eenv cenv filename of