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 | 55d10dd587a94d356096c2dfc39306c14b55c7bf (patch) | |
tree | fa0fcff27c8418c9e6beccbce3c846678e71f07e /demo/sql.ur | |
parent | 6d021ead0f73c5a28080b50a1bd08b1ab72590c9 (diff) |
Effectness analysis
Diffstat (limited to 'demo/sql.ur')
-rw-r--r-- | demo/sql.ur | 4 |
1 files changed, 2 insertions, 2 deletions
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 (); |