Mercurial > urweb
annotate tests/rec3.ur @ 1237:a9c200f73f24
More descriptive info flow error message
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 13 Apr 2010 16:36:16 -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> |