diff demo/sql.ur @ 434:c471345f5165

Remove need for '() <-' notation
author Adam Chlipala <adamc@hcoop.net>
date Mon, 27 Oct 2008 08:27:45 -0400
parents c5a3d223f157
children 20fab0e96217
line wrap: on
line diff
--- a/demo/sql.ur	Mon Oct 27 08:16:19 2008 -0400
+++ b/demo/sql.ur	Mon Oct 27 08:27:45 2008 -0400
@@ -26,8 +26,8 @@
     </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 @@
     </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>