diff caching-tests/test.ur @ 2275:ce96e166d938

Fix some table renaming issues.
author Ziv Scully <ziv@mit.edu>
date Sat, 07 Nov 2015 15:16:44 -0500
parents a3cac6cea625
children c05f9a5e0f0f
line wrap: on
line diff
--- a/caching-tests/test.ur	Thu Nov 05 01:48:42 2015 -0500
+++ b/caching-tests/test.ur	Sat Nov 07 15:16:44 2015 -0500
@@ -1,4 +1,4 @@
-table tab : {Id : int, Val : int} PRIMARY KEY Id
+table tab : {Id : int, Val : int, Foo : int} PRIMARY KEY Id
 
 fun cache id =
     res <- oneOrNoRows (SELECT tab.Val
@@ -22,19 +22,19 @@
 (*          | Some _ => <xml>Hooray! You guessed it!</xml>} *)
 (*     </body></xml> *)
 
-fun cache2 id1 id2 =
-    res1 <- oneOrNoRows (SELECT tab.Val
-                         FROM tab
-                         WHERE tab.Id = {[id1]});
-    res2 <- oneOrNoRows (SELECT tab.Val
-                         FROM tab
-                         WHERE tab.Id = {[id2]});
-    return <xml><body>
-      Reading {[id1]} and {[id2]}.
-      {case (res1, res2) of
-           (Some _, Some _) => <xml>Both are there.</xml>
-         | _ => <xml>One of them is missing.</xml>}
-    </body></xml>
+(* fun cache2 id1 id2 = *)
+(*     res1 <- oneOrNoRows (SELECT tab.Val *)
+(*                          FROM tab *)
+(*                          WHERE tab.Id = {[id1]}); *)
+(*     res2 <- oneOrNoRows (SELECT tab.Val *)
+(*                          FROM tab *)
+(*                          WHERE tab.Id = {[id2]}); *)
+(*     return <xml><body> *)
+(*       Reading {[id1]} and {[id2]}. *)
+(*       {case (res1, res2) of *)
+(*            (Some _, Some _) => <xml>Both are there.</xml> *)
+(*          | _ => <xml>One of them is missing.</xml>} *)
+(*     </body></xml> *)
 
 fun flush id =
     dml (UPDATE tab
@@ -44,14 +44,30 @@
       Changed {[id]}!
     </body></xml>
 
-val flush17 =
+fun flash id =
     dml (UPDATE tab
-         SET Val = Val * (Id + 2) / Val - 3
-         WHERE Id = 17);
+         SET Foo = Val
+         WHERE Id = {[id]} OR Id = {[id - 1]} OR Id = {[id + 1]});
     return <xml><body>
-      Changed specifically 17!
+      Maybe changed {[id]}?
     </body></xml>
 
+fun floosh id =
+    dml (UPDATE tab
+         SET Id = {[id + 1]}
+         WHERE Id = {[id]});
+    return <xml><body>
+      Shifted {[id]}!
+    </body></xml>
+
+(* val flush17 = *)
+(*     dml (UPDATE tab *)
+(*          SET Val = Val * (Id + 2) / Val - 3 *)
+(*          WHERE Id = 17); *)
+(*     return <xml><body> *)
+(*       Changed specifically 17! *)
+(*     </body></xml> *)
+
 (* fun flush id = *)
 (*     res <- oneOrNoRows (SELECT tab.Val *)
 (*                         FROM tab *)