Mercurial > urweb

diff tests/rec.ur @ 314:a07f476d9b61

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Termination checking allows anything in links and actions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Sep 2008 12:36:13 -0400
parents 71bafe66dbe1
children
line wrap: on
line diff
--- a/tests/rec.ur	Tue Sep 09 11:46:33 2008 -0400
+++ b/tests/rec.ur	Tue Sep 09 12:36:13 2008 -0400
@@ -1,3 +1,4 @@
-val rec main = fn () => <html><body>
+
+fun main () : transaction page = return <html><body>
         <a link={main ()}>Ride again!</a>
 </body></html>