summaryrefslogtreecommitdiff
path: root/demo/refFun.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-20 11:34:36 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-20 11:34:36 -0500
commita01f4dd530689d29ac7518bb9a8d19b919ef76ac (patch)
treebe1fb9f820200f6d2620e1e597ff809b1f438d29 /demo/refFun.ur
parent7b09fa2aca2982038889f960e51d7b1e91a70991 (diff)
Some demo improvements
Diffstat (limited to 'demo/refFun.ur')
-rw-r--r--demo/refFun.ur4
1 files changed, 2 insertions, 2 deletions
diff --git a/demo/refFun.ur b/demo/refFun.ur
index e523bac7..c6a4ea5f 100644
--- a/demo/refFun.ur
+++ b/demo/refFun.ur
@@ -15,9 +15,9 @@ functor Make(M : sig
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]})