3 files changed, 90 insertions, 0 deletions
diff --git a/caching-tests/test.ur b/caching-tests/test.ur
new file mode 100644
index 00000000..2722bcdc
--- /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]});
+    (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
+           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..30bff733
--- /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