Mercurial > urweb

comparison demo/refFun.ur @ 501:7ef4b2911b09

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some demo improvements
author Adam Chlipala <adamc@hcoop.net>
date Thu, 20 Nov 2008 11:34:36 -0500
parents 20fab0e96217
children 1a317a707d71
comparison
equal deleted inserted replaced
500:581554f8e642 501:7ef4b2911b09
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 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 => return 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 =