Mercurial > urweb

comparison demo/refFun.ur @ 471:20fab0e96217

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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