Mercurial > urweb
comparison demo/refFun.ur @ 501:7ef4b2911b09
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 = |