diff demo/sql.ur @ 732:5819fb63c93a

Effectness analysis
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:29:39 -0400
parents 1a317a707d71
children
line wrap: on
line diff
--- a/demo/sql.ur	Thu Apr 16 14:49:25 2009 -0400
+++ b/demo/sql.ur	Thu Apr 16 15:29:39 2009 -0400
@@ -5,7 +5,7 @@
     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 @@
       {xml}
     </body></xml>
 
-and delete a =
+and delete a () =
     dml (DELETE FROM t
          WHERE t.A = {[a]});
     xml <- list ();