diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-08 17:21:31 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-08 17:21:31 -0400 |
| commit | 0e437095df380d43e148c1348b1d00692e881461 (patch) | |
| tree | 6ae46eef63045829d2101f489a16da124edaa6a3 /src | |
| parent | bc3d86e857b3b5884aba5b61d7bedb40e76e6616 (diff) | |
Run a shake before reducing
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index ce6f376e..45fd88e4 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -75,7 +75,7 @@ fun corify eenv cenv filename = 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 |