From 24edb607ef64db1ab12b3d5b9ccd3848c50780d1 Mon Sep 17 00:00:00 2001 From: Ziv Scully Date: Sun, 28 Jun 2015 12:46:51 -0700 Subject: Progress on LRU cache but still more known bugs to fix. --- caching-tests/test.ur | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) (limited to 'caching-tests') diff --git a/caching-tests/test.ur b/caching-tests/test.ur index 8035e336..842fd77d 100644 --- a/caching-tests/test.ur +++ b/caching-tests/test.ur @@ -16,13 +16,24 @@ fun flush id = FROM tab WHERE tab.Id = {[id]}); (case res of - None => dml (INSERT INTO tab (Id, Val) - VALUES ({[id]}, 0)) + None => return () (* dml (INSERT INTO tab (Id, Val) *) + (* VALUES ({[id]}, 0)) *) | Some row => dml (UPDATE tab SET Val = {[row.Tab.Val + 1]} - WHERE Id = {[id]})); + WHERE Id = {[id + 1]} OR Id = {[id]} (* OR Id = {[id - 1]} *))); return {case res of None => Initialized {[id]}! | Some row => Incremented {[id]}!} + +(* task periodic 5 = *) +(* fn () => *) +(* t <- now; *) +(* let *) +(* val n = toSeconds t % 2 *) +(* in *) +(* dml (UPDATE tab *) +(* SET Val = 9001 *) +(* WHERE Id = {[n]} OR Id = {[n+1]}) *) +(* end *) -- cgit v1.2.3