aboutsummaryrefslogtreecommitdiffhomepage
path: root/demo/refFun.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 19:43:48 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 19:43:48 -0500
commit24b68e6d7408f50023272e765687eab777596363 (patch)
tree36109508292ec57f01529ab31699ed8837d3f0c8 /demo/refFun.ur
parentdd4d718ac9f0a9862ebef19beb568bbedcc85848 (diff)
Tree demo working (and other assorted regressions fixed)
Diffstat (limited to 'demo/refFun.ur')
-rw-r--r--demo/refFun.ur8
1 files changed, 4 insertions, 4 deletions
diff --git a/demo/refFun.ur b/demo/refFun.ur
index d648f31e..e523bac7 100644
--- a/demo/refFun.ur
+++ b/demo/refFun.ur
@@ -10,19 +10,19 @@ functor Make(M : sig
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