Ur/Web: tests/recReal3.ur annotate

annotate tests/recReal3.ur @ 1060:6f4f8b9c5023

Fix a Shake bug that led to missing some cons

author	Adam Chlipala <adamc@hcoop.net>
date	Tue, 08 Dec 2009 09:33:08 -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>