From de5089fc5dfb8904ad3a8e36f042ce234ac9340b Mon Sep 17 00:00:00 2001 From: Ziv Scully Date: Tue, 17 Nov 2015 04:08:12 -0500 Subject: Ran a benchmark! --- caching-tests/bench.ur | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) (limited to 'caching-tests/bench.ur') diff --git a/caching-tests/bench.ur b/caching-tests/bench.ur index 0c7bb674..d9c298c8 100644 --- a/caching-tests/bench.ur +++ b/caching-tests/bench.ur @@ -3,6 +3,7 @@ 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 {case res of None => ? | Some row => {[row.Tab.Val]}} @@ -13,12 +14,3 @@ fun flush id = return Changed {[id]}! - -fun main x y = - r <- rand; - let - val id = r % x - val doFlush = (r / x) % y = 0 - in - if doFlush then flush id else check id - end -- cgit v1.2.3