diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-06-05 09:42:37 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-06-05 09:42:37 -0400 |
commit | a4ef3cc14bd6d90ad6ed58832fd77b4155d27105 (patch) | |
tree | a620c157c00f2f0d228f1923bab105b8b826f16a /src/compiler.sml | |
parent | 77237674295bb7ba2b5a822eacaeebc53f56d672 (diff) |
Another run of Specialize, using ReduceLocal on datatype parameters
Diffstat (limited to 'src/compiler.sml')
-rw-r--r-- | src/compiler.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index dcc1e5b3..6167f08a 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -1015,7 +1015,8 @@ val toShake4 = transform shake "shake4" o toSpecialize val toEspecialize2 = transform especialize "especialize2" o toShake4 val toShake4' = transform shake "shake4'" o toEspecialize2 val toUnpoly2 = transform unpoly "unpoly2" o toShake4' -val toShake4'' = transform shake "shake4'" o toUnpoly2 +val toSpecialize2 = transform specialize "specialize2" o toUnpoly2 +val toShake4'' = transform shake "shake4'" o toSpecialize2 val toEspecialize3 = transform especialize "especialize3" o toShake4'' val toReduce2 = transform reduce "reduce2" o toEspecialize3 |