diff caching-tests/test.ur @ 2234:2f7ed04332a0

Progress on LRU cache but still more known bugs to fix.
author Ziv Scully <ziv@mit.edu>
date Sun, 28 Jun 2015 12:46:51 -0700
parents 6262dabc08d6
children 0aae15c2a05a
line wrap: on
line diff
--- a/caching-tests/test.ur	Wed May 06 23:11:30 2015 -0400
+++ b/caching-tests/test.ur	Sun Jun 28 12:46:51 2015 -0700
@@ -16,13 +16,24 @@
                         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 <xml><body>
       {case res of
            None => <xml>Initialized {[id]}!</xml>
          | Some row => <xml>Incremented {[id]}!</xml>}
     </body></xml>
+
+(* 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 *)