diff demo/refFun.ur @ 471:20fab0e96217

Tree demo working (and other assorted regressions fixed)
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 19:43:48 -0500
parents c471345f5165
children 7ef4b2911b09
line wrap: on
line diff
--- a/demo/refFun.ur	Thu Nov 06 18:49:38 2008 -0500
+++ b/demo/refFun.ur	Thu Nov 06 19:43:48 2008 -0500
@@ -10,19 +10,19 @@
 
     fun new d =
         id <- nextval s;
-        dml (INSERT INTO t (Id, Data) VALUES ({id}, {d}));
+        dml (INSERT INTO t (Id, Data) VALUES ({[id]}, {[d]}));
         return id
 
     fun read r =
-        o <- oneOrNoRows (SELECT t.Data FROM t WHERE t.Id = {r});
+        o <- oneOrNoRows (SELECT t.Data FROM t WHERE t.Id = {[r]});
         return (case o of
             None => error <xml>You already deleted that ref!</xml>
           | Some r => r.T.Data)
 
     fun write r d =
-        dml (UPDATE t SET Data = {d} WHERE Id = {r})
+        dml (UPDATE t SET Data = {[d]} WHERE Id = {[r]})
 
     fun delete r =
-        dml (DELETE FROM t WHERE Id = {r})
+        dml (DELETE FROM t WHERE Id = {[r]})
 
 end