5 files changed, 106 insertions, 0 deletions
diff --git a/caching-tests/test.db b/caching-tests/test.db
new file mode 100644
index 00000000..a4661341
--- /dev/null
+++ b/caching-tests/test.db
diff --git a/caching-tests/test.sql b/caching-tests/test.sql
new file mode 100644
index 00000000..7ade7278
--- /dev/null
+++ b/caching-tests/test.sql
@@ -0,0 +1,16 @@
+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
new file mode 100644
index 00000000..931612bc
--- /dev/null
+++ b/caching-tests/test.ur
@@ -0,0 +1,74 @@
+table foo01 : {Id : int, Bar : string} PRIMARY KEY Id
+table foo10 : {Id : int, Bar : string} PRIMARY KEY Id
+table tab : {Id : int, Val : int} PRIMARY KEY Id
+
+fun cache01 () =
+    res <- oneOrNoRows (SELECT foo01.Bar FROM foo01 WHERE foo01.Id = 43);
+    return <xml><body>
+      Reading 1.
+      {case res of
+           None => <xml>?</xml>
+         | 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 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"));
+    (* dml (UPDATE foo01 SET Bar = "baz01" WHERE Id = 42); *)
+    return <xml><body>
+      Flushed 1!
+    </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 cache id =
+    res <- oneOrNoRows (SELECT tab.Val FROM tab WHERE tab.Id = {[id]});
+    return <xml><body>
+      Reading {[id]}.
+      {case res of
+           None => <xml>?</xml>
+         | Some row => <xml>{[row.Tab.Val]}</xml>}
+    </body></xml>
+
+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]}));
+    return <xml><body>
+      (* Flushed {[id]}! *)
+      {case res of
+           None => <xml>Initialized {[id]}!</xml>
+         | Some row => <xml>Incremented {[id]}!</xml>}
+    </body></xml>
diff --git a/caching-tests/test.urp b/caching-tests/test.urp
new file mode 100644
index 00000000..7ac469f9
--- /dev/null
+++ b/caching-tests/test.urp
@@ -0,0 +1,8 @@
+database test.db
+sql test.sql
+safeGet Test/flush01
+safeGet Test/flush10
+safeGet Test/flush11
+safeGet Test/flush
+
+test
diff --git a/caching-tests/test.urs b/caching-tests/test.urs
new file mode 100644
index 00000000..ace4ba28
--- /dev/null
+++ b/caching-tests/test.urs
@@ -0,0 +1,8 @@
+val cache01 : 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 cache : int -> transaction page
+val flush : int -> transaction page