diff options
| author |  Ziv Scully <ziv@mit.edu> | 2015-11-18 14:48:24 -0500 |
|---|---|---|
| committer | Ziv Scully <ziv@mit.edu> | 2015-11-18 14:48:24 -0500 |
| commit | 588831a34eb1747b5468581169f6e68116ecbd62 (patch) | |
| tree | 03aaeb138086831970e1ea694cccd9987d4427b5 /caching-tests | |
| parent | de5089fc5dfb8904ad3a8e36f042ce234ac9340b (diff) | |
Trivial change to benchmark.
Diffstat (limited to 'caching-tests')
| -rw-r--r-- | caching-tests/bench.ur | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/caching-tests/bench.ur b/caching-tests/bench.ur index d9c298c8..2661bd0e 100644 --- a/caching-tests/bench.ur +++ b/caching-tests/bench.ur @@ -3,14 +3,14 @@ table tab : {Id : int, Val : int} PRIMARY KEY Id fun check id = res <- oneOrNoRows (SELECT tab.Val FROM tab WHERE tab.Id = {[id]}); return <xml><body> - cache + Value at {[id]} is {case res of - None => <xml>?</xml> - | Some row => <xml>{[row.Tab.Val]}</xml>} + None => <xml>unknown</xml> + | Some row => <xml>{[row.Tab.Val]}</xml>}. </body></xml> fun flush id = dml (UPDATE tab SET Val = Val + 1 WHERE Id = {[id]}); return <xml><body> - Changed {[id]}! + Incremented value at {[id]} (if it exists). </body></xml> |