diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-10-27 08:27:45 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-27 08:27:45 -0400 |
commit | 5d118aafe9b7cecdb429836b61bb9fdf6e8fc24e (patch) | |
tree | 4f228e945fd003d5a15b6d45fb34f50b6a41722c /demo/sql.ur | |
parent | 794a3ad4e4713e74d2118d8f24b09ef4d35bd34f (diff) |
Remove need for '() <-' notation
Diffstat (limited to 'demo/sql.ur')
-rw-r--r-- | demo/sql.ur | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/demo/sql.ur b/demo/sql.ur index 9e9effff..43a69573 100644 --- a/demo/sql.ur +++ b/demo/sql.ur @@ -26,8 +26,8 @@ fun list () = </xml> and add r = - () <- dml (INSERT INTO t (A, B, C, D) - VALUES ({readError r.A}, {readError r.B}, {r.C}, {r.D})); + dml (INSERT INTO t (A, B, C, D) + VALUES ({readError r.A}, {readError r.B}, {r.C}, {r.D})); xml <- list (); return <xml><body> <p>Row added.</p> @@ -36,8 +36,8 @@ and add r = </body></xml> and delete a = - () <- dml (DELETE FROM t - WHERE t.A = {a}); + dml (DELETE FROM t + WHERE t.A = {a}); xml <- list (); return <xml><body> <p>Row deleted.</p> |