From 431abe6b2d53ed42d5019a5263e8014de8920eb4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 16 Apr 2009 15:29:39 -0400
Subject: Effectness analysis

---
 demo/tree.ur | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'demo/tree.ur')

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 ()
-- 
cgit v1.2.3