Ur/Web: tests/recReal3.ur annotate

annotate tests/recReal3.ur @ 1451:b6ce8ef0ea88

Before allowing an indirect return, check (dynamically, for now) that we aren't in an RPC handler

author	Adam Chlipala <adam@chlipala.net>
date	Sun, 17 Apr 2011 13:43:00 -0400
parents	71bafe66dbe1
children

rev	line source
adamc@131	1 val rec endlessList1 = fn () => <body>
adamc@131	2 <li> Buy eggs.</li>
adamc@131	3 {endlessList2 ()}
adamc@131	4 </body>
adamc@131	5
adamc@131	6 and endlessList2 = fn () => <body>
adamc@131	7 <li> Buy milk.</li>
adamc@131	8 {endlessList1 ()}
adamc@131	9 {endlessList3 ()}
adamc@131	10 </body>
adamc@131	11
adamc@131	12 and endlessList3 = fn () => <body>
adamc@131	13 <li> Buy goat.</li>
adamc@131	14 </body>
adamc@131	15
adamc@131	16 val main = fn () => <html><body>
adamc@131	17 {endlessList1 ()}
adamc@131	18 </body></html>