diff options
author | Ziv Scully <ziv@mit.edu> | 2014-11-29 03:37:59 -0500 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2014-11-29 03:37:59 -0500 |
commit | 476f12674420391e24afd1846e176eabe550d36c (patch) | |
tree | 005dcd53b84f29711c04508a9202f6c8e03c87c8 /caching-tests | |
parent | b59e6e96601c09bd97a4cce881c9b9f8bf8816a3 (diff) |
Basic field-resolution invalidation.
Diffstat (limited to 'caching-tests')
-rw-r--r-- | caching-tests/test.db | bin | 5120 -> 0 bytes | |||
-rw-r--r-- | caching-tests/test.sql | 16 | ||||
-rw-r--r-- | caching-tests/test.ur | 66 | ||||
-rw-r--r-- | caching-tests/test.urs | 8 |
4 files changed, 37 insertions, 53 deletions
diff --git a/caching-tests/test.db b/caching-tests/test.db Binary files differdeleted file mode 100644 index a4661341..00000000 --- a/caching-tests/test.db +++ /dev/null diff --git a/caching-tests/test.sql b/caching-tests/test.sql deleted file mode 100644 index 7ade7278..00000000 --- a/caching-tests/test.sql +++ /dev/null @@ -1,16 +0,0 @@ -CREATE TABLE uw_Test_foo01(uw_id int8 NOT NULL, uw_bar text NOT NULL, - PRIMARY KEY (uw_id) - - ); - - CREATE TABLE uw_Test_foo10(uw_id int8 NOT NULL, uw_bar text NOT NULL, - PRIMARY KEY (uw_id) - - ); - - CREATE TABLE uw_Test_tab(uw_id int8 NOT NULL, uw_val int8 NOT NULL, - PRIMARY KEY (uw_id) - - ); - -
\ No newline at end of file diff --git a/caching-tests/test.ur b/caching-tests/test.ur index 931612bc..2722bcdc 100644 --- a/caching-tests/test.ur +++ b/caching-tests/test.ur @@ -11,26 +11,26 @@ fun cache01 () = | Some row => <xml>{[row.Foo01.Bar]}</xml>} </body></xml> -fun cache10 () = - res <- queryX (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42) - (fn row => <xml>{[row.Foo10.Bar]}</xml>); - return <xml><body> - Reading 2. - {res} - </body></xml> +(* fun cache10 () = *) +(* res <- queryX (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42) *) +(* (fn row => <xml>{[row.Foo10.Bar]}</xml>); *) +(* return <xml><body> *) +(* Reading 2. *) +(* {res} *) +(* </body></xml> *) -fun cache11 () = - res <- oneOrNoRows (SELECT foo01.Bar FROM foo01 WHERE foo01.Id = 42); - bla <- oneOrNoRows (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42); - return <xml><body> - Reading 1 and 2. - {case res of - None => <xml>?</xml> - | Some row => <xml>{[row.Foo01.Bar]}</xml>} - {case bla of - None => <xml>?</xml> - | Some row => <xml>{[row.Foo10.Bar]}</xml>} - </body></xml> +(* fun cache11 () = *) +(* res <- oneOrNoRows (SELECT foo01.Bar FROM foo01 WHERE foo01.Id = 42); *) +(* bla <- oneOrNoRows (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42); *) +(* return <xml><body> *) +(* Reading 1 and 2. *) +(* {case res of *) +(* None => <xml>?</xml> *) +(* | Some row => <xml>{[row.Foo01.Bar]}</xml>} *) +(* {case bla of *) +(* None => <xml>?</xml> *) +(* | Some row => <xml>{[row.Foo10.Bar]}</xml>} *) +(* </body></xml> *) fun flush01 () = dml (INSERT INTO foo01 (Id, Bar) VALUES (42, "baz01")); @@ -39,18 +39,18 @@ fun flush01 () = Flushed 1! </body></xml> -fun flush10 () = - dml (UPDATE foo10 SET Bar = "baz10" WHERE Id = 42); - return <xml><body> - Flushed 2! - </body></xml> +(* fun flush10 () = *) +(* dml (UPDATE foo10 SET Bar = "baz10" WHERE Id = 42); *) +(* return <xml><body> *) +(* Flushed 2! *) +(* </body></xml> *) -fun flush11 () = - dml (UPDATE foo01 SET Bar = "baz11" WHERE Id = 42); - dml (UPDATE foo10 SET Bar = "baz11" WHERE Id = 42); - return <xml><body> - Flushed 1 and 2! - </body></xml> +(* fun flush11 () = *) +(* dml (UPDATE foo01 SET Bar = "baz11" WHERE Id = 42); *) +(* dml (UPDATE foo10 SET Bar = "baz11" WHERE Id = 42); *) +(* return <xml><body> *) +(* Flushed 1 and 2! *) +(* </body></xml> *) fun cache id = res <- oneOrNoRows (SELECT tab.Val FROM tab WHERE tab.Id = {[id]}); @@ -63,9 +63,9 @@ fun cache id = fun flush id = res <- oneOrNoRows (SELECT tab.Val FROM tab WHERE tab.Id = {[id]}); - dml (case res of - None => (INSERT INTO tab (Id, Val) VALUES ({[id]}, 0)) - | Some row => (UPDATE tab SET Val = {[row.Tab.Val + 1]} WHERE Id = {[id]})); + (case res of + None => dml (INSERT INTO tab (Id, Val) VALUES ({[id]}, 0)) + | Some row => dml (UPDATE tab SET Val = {[row.Tab.Val + 1]} WHERE Id = {[id]})); return <xml><body> (* Flushed {[id]}! *) {case res of diff --git a/caching-tests/test.urs b/caching-tests/test.urs index ace4ba28..30bff733 100644 --- a/caching-tests/test.urs +++ b/caching-tests/test.urs @@ -1,8 +1,8 @@ val cache01 : unit -> transaction page -val cache10 : unit -> transaction page -val cache11 : unit -> transaction page +(* val cache10 : unit -> transaction page *) +(* val cache11 : unit -> transaction page *) val flush01 : unit -> transaction page -val flush10 : unit -> transaction page -val flush11 : unit -> transaction page +(* val flush10 : unit -> transaction page *) +(* val flush11 : unit -> transaction page *) val cache : int -> transaction page val flush : int -> transaction page |