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 | 9cef944b9adec55fef65fc683b7b339191531916 (patch) | |
| tree | 4f228e945fd003d5a15b6d45fb34f50b6a41722c /demo/sql.ur | |
| parent | 44a709f2f7844fd6c07b4b0979c8e264cd88225e (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> |