summaryrefslogtreecommitdiff
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
commit431abe6b2d53ed42d5019a5263e8014de8920eb4 (patch)
treefa0fcff27c8418c9e6beccbce3c846678e71f07e /demo/sql.ur
parent03deca916331e44c37a0ba46d4bbae6a12b54385 (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 ();