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