diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-16 15:29:39 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-16 15:29:39 -0400 |
| commit | 431abe6b2d53ed42d5019a5263e8014de8920eb4 (patch) | |
| tree | fa0fcff27c8418c9e6beccbce3c846678e71f07e /demo/tree.ur | |
| parent | 03deca916331e44c37a0ba46d4bbae6a12b54385 (diff) | |
Effectness analysis
Diffstat (limited to 'demo/tree.ur')
| -rw-r--r-- | demo/tree.ur | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/demo/tree.ur b/demo/tree.ur index b02e1f00..d7b0919e 100644 --- a/demo/tree.ur +++ b/demo/tree.ur @@ -8,7 +8,7 @@ open TreeFun.Make(struct 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 @@ and add parent r = 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 () |