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 | a01f4dd530689d29ac7518bb9a8d19b919ef76ac (patch) | |
| tree | be1fb9f820200f6d2620e1e597ff809b1f438d29 /demo/refFun.ur | |
| parent | 7b09fa2aca2982038889f960e51d7b1e91a70991 (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]}) |