Ur/Web: tests/recReal3.ur annotate

annotate tests/recReal3.ur @ 1836:276fa06428ba

Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a kind of simple dynamic typing (unsafe, of course)

author	Adam Chlipala <adam@chlipala.net>
date	Tue, 11 Dec 2012 15:58:23 -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>