diff options
Diffstat (limited to 'demo/refFun.ur')
-rw-r--r-- | demo/refFun.ur | 4 |
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]}) |