diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-07-19 17:45:02 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-07-19 17:45:02 -0400 |
| commit | 94a1373401529f500640b0c0628e7173612cdabe (patch) | |
| tree | 89ce0f6149e50fdfece4b083c2be2033c7727c63 /src/compiler.sml | |
| parent | 19cd9e965929d541e6714f62154f01b9e487a712 (diff) | |
Working on Grid; have gone from one dynamic table bizareness to another
Diffstat (limited to 'src/compiler.sml')
| -rw-r--r-- | src/compiler.sml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index 622b0e62..c99c0eeb 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -779,7 +779,9 @@ val toShake3 = transform shake "shake3" o toSpecialize 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)), |