Mercurial > urweb
diff src/compiler.sml @ 1276:5b5c0b552f59
Another run of Specialize, using ReduceLocal on datatype parameters
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 05 Jun 2010 09:42:37 -0400 |
| parents | 56bd4a4f6e66 |
| children | b4480a56cab7 |
line wrap: on
line diff
--- a/src/compiler.sml Thu Jun 03 14:44:08 2010 -0400 +++ b/src/compiler.sml Sat Jun 05 09:42:37 2010 -0400 @@ -1015,7 +1015,8 @@ 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