Mercurial > urweb

diff demo/ref.ur @ 732:5819fb63c93a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Effectness analysis
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:29:39 -0400
parents aa2290c32ce2
children
line wrap: on
line diff
--- a/demo/ref.ur	Thu Apr 16 14:49:25 2009 -0400
+++ b/demo/ref.ur	Thu Apr 16 15:29:39 2009 -0400
@@ -6,7 +6,7 @@
                                type data = string
                            end)
 
-fun main () =
+fun mutate () =
     ir <- IR.new 3;
     ir' <- IR.new 7;
     sr <- SR.new "hi";
@@ -24,3 +24,7 @@
     return <xml><body>
       {[iv]}, {[iv']}, {[sv]}
     </body></xml>
+
+fun main () = return <xml><body>
+  <form><submit action={mutate} value="Do some pointless stuff"/></form>
+</body></xml>