Ur/Web: tests/recReal3.ur annotate

annotate tests/recReal3.ur @ 2282:19b233bb3176

Make cache flushes safe for transactions (not sure about LRU bump on read).

author	Ziv Scully <ziv@mit.edu>
date	Thu, 12 Nov 2015 09:47:20 -0500
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>