From 55d10dd587a94d356096c2dfc39306c14b55c7bf 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/sql.ur | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'demo/sql.ur')

diff --git a/demo/sql.ur b/demo/sql.ur
index bbfec24a..adfc5909 100644
--- a/demo/sql.ur
+++ b/demo/sql.ur
@@ -5,7 +5,7 @@ fun list () =
     rows <- queryX (SELECT * FROM t)
             (fn row => <xml><tr>
               <td>{[row.T.A]}</td> <td>{[row.T.B]}</td> <td>{[row.T.C]}</td> <td>{[row.T.D]}</td>
-              <td><a link={delete row.T.A}>[delete]</a></td>
+              <td><form><submit action={delete row.T.A} value="Delete"/></form></td>
             </tr></xml>);
     return <xml>
       <table border=1>
@@ -36,7 +36,7 @@ and add r =
       {xml}
     </body></xml>
 
-and delete a =
+and delete a () =
     dml (DELETE FROM t
          WHERE t.A = {[a]});
     xml <- list ();
-- 
cgit v1.2.3