Mercurial > urweb

diff 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
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]})