diff caching-tests/test.ur @ 2221:278e10629ba1

Basic field-resolution invalidation.
author Ziv Scully <ziv@mit.edu>
date Sat, 29 Nov 2014 03:37:59 -0500
parents f7113855f3b7
children 6262dabc08d6
line wrap: on
line diff
--- a/caching-tests/test.ur	Mon Nov 24 20:47:38 2014 -0500
+++ b/caching-tests/test.ur	Sat Nov 29 03:37:59 2014 -0500
@@ -11,26 +11,26 @@
          | 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 @@
       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 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