# HG changeset patch # User Ziv Scully # Date 1447876104 18000 # Node ID 8be54d7bd06e5fe14a3d96af5bbeaac25d887198 # Parent 23eaec04e0f845ef493a2138690e2a06bed8fae3 Trivial change to benchmark. diff -r 23eaec04e0f8 -r 8be54d7bd06e caching-tests/bench.ur --- a/caching-tests/bench.ur Tue Nov 17 04:08:12 2015 -0500 +++ b/caching-tests/bench.ur Wed Nov 18 14:48:24 2015 -0500 @@ -3,14 +3,14 @@ fun check id = res <- oneOrNoRows (SELECT tab.Val FROM tab WHERE tab.Id = {[id]}); return - cache + Value at {[id]} is {case res of - None => ? - | Some row => {[row.Tab.Val]}} + None => unknown + | Some row => {[row.Tab.Val]}}. fun flush id = dml (UPDATE tab SET Val = Val + 1 WHERE Id = {[id]}); return - Changed {[id]}! + Incremented value at {[id]} (if it exists).