Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/compiler.sml Tue Jun 01 15:46:24 2010 -0400 +++ b/src/compiler.sml Thu Jun 03 13:04:37 2010 -0400 @@ -1013,8 +1013,12 @@ 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 toEspecialize3 = transform especialize "especialize3" o toShake4'' -val toReduce2 = transform reduce "reduce2" o toEspecialize2 +val toReduce2 = transform reduce "reduce2" o toEspecialize3 val toShake5 = transform shake "shake5" o toReduce2