aboutsummaryrefslogtreecommitdiffhomepage
path: root/demo/sql.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 15:29:39 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 15:29:39 -0400
commit55d10dd587a94d356096c2dfc39306c14b55c7bf (patch)
treefa0fcff27c8418c9e6beccbce3c846678e71f07e /demo/sql.ur
parent6d021ead0f73c5a28080b50a1bd08b1ab72590c9 (diff)
Effectness analysis
Diffstat (limited to 'demo/sql.ur')
-rw-r--r--demo/sql.ur4
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 ();