Mercurial > urweb
comparison src/compiler.sml @ 1272:56bd4a4f6e66
Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 03 Jun 2010 13:04:37 -0400 |
parents | 459a334345ae |
children | 5b5c0b552f59 |
comparison
equal
deleted
inserted
replaced
1271:503d4ec93494 | 1272:56bd4a4f6e66 |
---|---|
1011 val toSpecialize = transform specialize "specialize" o toUnpoly | 1011 val toSpecialize = transform specialize "specialize" o toUnpoly |
1012 | 1012 |
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 | 1016 val toShake4' = transform shake "shake4'" o toEspecialize2 |
1017 val toReduce2 = transform reduce "reduce2" o toEspecialize2 | 1017 val toUnpoly2 = transform unpoly "unpoly2" o toShake4' |
1018 val toShake4'' = transform shake "shake4'" o toUnpoly2 | |
1019 val toEspecialize3 = transform especialize "especialize3" o toShake4'' | |
1020 | |
1021 val toReduce2 = transform reduce "reduce2" o toEspecialize3 | |
1018 | 1022 |
1019 val toShake5 = transform shake "shake5" o toReduce2 | 1023 val toShake5 = transform shake "shake5" o toReduce2 |
1020 | 1024 |
1021 val marshalcheck = { | 1025 val marshalcheck = { |
1022 func = (fn file => (MarshalCheck.check file; file)), | 1026 func = (fn file => (MarshalCheck.check file; file)), |