Mercurial > urweb
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 ()