Mercurial > urweb
annotate tests/rec3.ur @ 2126:ec1614fb97bb
Change MonoReduce to do fixed-pointing, since it sometimes enables more optimizations for itself (e.g., yanking lambdas out of [case]s)
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 06 Mar 2015 09:46:21 -0500 |
| parents | 71bafe66dbe1 |
| children |
| rev | line source |
|---|---|
| adamc@134 | 1 val rec main = fn () => <html><body> |
| adamc@134 | 2 <a link={aux ()}>See another page</a> |
| adamc@134 | 3 </body></html> |
| adamc@134 | 4 |
| adamc@134 | 5 and aux = fn () => <html><body> |
| adamc@134 | 6 <h1>The Main Event</h1> |
| adamc@134 | 7 |
| adamc@134 | 8 {auxer ()} |
| adamc@134 | 9 </body></html> |
| adamc@134 | 10 |
| adamc@134 | 11 and auxer = fn () => <body> |
| adamc@134 | 12 <a link={main ()}>Back to square one</a> |
| adamc@134 | 13 </body> |