Mercurial > urweb
annotate tests/rec3.ur @ 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 | 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> |