Mercurial > urweb

comparison src/compiler.sml @ 1272:56bd4a4f6e66

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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)),