Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
470:7cb418e9714f | 471:20fab0e96217 |
---|---|
8 sequence s | 8 sequence s |
9 table t : { Id : int, Data : M.data } | 9 table t : { Id : int, Data : M.data } |
10 | 10 |
11 fun new d = | 11 fun new d = |
12 id <- nextval s; | 12 id <- nextval s; |
13 dml (INSERT INTO t (Id, Data) VALUES ({id}, {d})); | 13 dml (INSERT INTO t (Id, Data) VALUES ({[id]}, {[d]})); |
14 return id | 14 return id |
15 | 15 |
16 fun read r = | 16 fun read r = |
17 o <- oneOrNoRows (SELECT t.Data FROM t WHERE t.Id = {r}); | 17 o <- oneOrNoRows (SELECT t.Data FROM t WHERE t.Id = {[r]}); |
18 return (case o of | 18 return (case o of |
19 None => error <xml>You already deleted that ref!</xml> | 19 None => error <xml>You already deleted that ref!</xml> |
20 | Some r => r.T.Data) | 20 | Some r => r.T.Data) |
21 | 21 |
22 fun write r d = | 22 fun write r d = |
23 dml (UPDATE t SET Data = {d} WHERE Id = {r}) | 23 dml (UPDATE t SET Data = {[d]} WHERE Id = {[r]}) |
24 | 24 |
25 fun delete r = | 25 fun delete r = |
26 dml (DELETE FROM t WHERE Id = {r}) | 26 dml (DELETE FROM t WHERE Id = {[r]}) |
27 | 27 |
28 end | 28 end |