Mercurial > urweb
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