Mercurial > urweb

comparison src/compiler.sml @ 1276:5b5c0b552f59

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
1275:74150edf1134 1276:5b5c0b552f59
1013 val toShake4 = transform shake "shake4" o toSpecialize 1013 val toShake4 = transform shake "shake4" o toSpecialize
1014 1014
1015 val toEspecialize2 = transform especialize "especialize2" o toShake4 1015 val toEspecialize2 = transform especialize "especialize2" o toShake4
1016 val toShake4' = transform shake "shake4'" o toEspecialize2 1016 val toShake4' = transform shake "shake4'" o toEspecialize2
1017 val toUnpoly2 = transform unpoly "unpoly2" o toShake4' 1017 val toUnpoly2 = transform unpoly "unpoly2" o toShake4'
1018 val toShake4'' = transform shake "shake4'" o toUnpoly2 1018 val toSpecialize2 = transform specialize "specialize2" o toUnpoly2
1019 val toShake4'' = transform shake "shake4'" o toSpecialize2
1019 val toEspecialize3 = transform especialize "especialize3" o toShake4'' 1020 val toEspecialize3 = transform especialize "especialize3" o toShake4''
1020 1021
1021 val toReduce2 = transform reduce "reduce2" o toEspecialize3 1022 val toReduce2 = transform reduce "reduce2" o toEspecialize3
1022 1023
1023 val toShake5 = transform shake "shake5" o toReduce2 1024 val toShake5 = transform shake "shake5" o toReduce2