diff demo/tree.ur @ 732:5819fb63c93a

Effectness analysis
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:29:39 -0400
parents 1db127b245ed
children b9321bcefb42
line wrap: on
line diff
--- a/demo/tree.ur	Thu Apr 16 14:49:25 2009 -0400
+++ b/demo/tree.ur	Thu Apr 16 15:29:39 2009 -0400
@@ -8,7 +8,7 @@
                   end)
 
 fun row r = <xml>
-  #{[r.Id]}: {[r.Nam]} <a link={del r.Id}>[Delete]</a>
+  #{[r.Id]}: {[r.Nam]} <form><submit action={del r.Id} value="Delete"/></form>
 
   <form>
     Add child: <textbox{#Nam}/> <submit action={add (Some r.Id)}/>
@@ -30,6 +30,6 @@
     dml (INSERT INTO t (Id, Parent, Nam) VALUES ({[id]}, {[parent]}, {[r.Nam]}));
     main ()
 
-and del id =
+and del id () =
     dml (DELETE FROM t WHERE Id = {[id]});
     main ()