Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/demo/refFun.ur Thu Nov 20 10:44:28 2008 -0500 +++ b/demo/refFun.ur Thu Nov 20 11:34:36 2008 -0500 @@ -15,9 +15,9 @@ fun read r = o <- oneOrNoRows (SELECT t.Data FROM t WHERE t.Id = {[r]}); - return (case o of + case o of None => error <xml>You already deleted that ref!</xml> - | Some r => r.T.Data) + | Some r => return r.T.Data fun write r d = dml (UPDATE t SET Data = {[d]} WHERE Id = {[r]})