From 588831a34eb1747b5468581169f6e68116ecbd62 Mon Sep 17 00:00:00 2001 From: Ziv Scully Date: Wed, 18 Nov 2015 14:48:24 -0500 Subject: Trivial change to benchmark. --- caching-tests/bench.ur | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'caching-tests') 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 - 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). -- cgit v1.2.3