diff demo/increment.ur @ 648:3c6d535d3d8b

Increment demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 13:57:09 -0400
parents
children 15ddd64a5113
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/demo/increment.ur	Tue Mar 10 13:57:09 2009 -0400
@@ -0,0 +1,10 @@
+sequence seq
+
+fun increment () = nextval seq
+
+fun main () =
+    src <- source 0;
+    return <xml><body>
+      <dyn signal={n <- signal src; return <xml>{[n]}</xml>}/>
+      <button value="Update" onclick={n <- increment (); set src n}/>
+    </body></xml>