diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-11-20 11:34:36 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-20 11:34:36 -0500 |
commit | eb171fceba46cbe600d8e29adc526e86719cdc4f (patch) | |
tree | be1fb9f820200f6d2620e1e597ff809b1f438d29 /demo/refFun.ur | |
parent | 55ad38ebb900b84fcfdeefe68678348e1cd3c36c (diff) |
Some demo improvements
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]}) |