Mercurial > urweb
annotate tests/rec3.ur @ 1360:02fc16faecf3
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 23 Dec 2010 17:46:40 -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> |