diff caching-tests/test.urs @ 2294:f8903af753ff

Support nested queries but disable UrFlow for now.
author Ziv Scully <ziv@mit.edu>
date Thu, 19 Nov 2015 01:59:00 -0500
parents c05f9a5e0f0f
children
line wrap: on
line diff
--- a/caching-tests/test.urs	Wed Nov 18 14:48:24 2015 -0500
+++ b/caching-tests/test.urs	Thu Nov 19 01:59:00 2015 -0500
@@ -1,7 +1,8 @@
 val cache : int -> transaction page
-val cacheR : {Id : int, FooBar : int} -> transaction page
+(* val cacheAlt : int -> transaction page *)
+(* val cacheR : {Id : int, FooBar : int} -> transaction page *)
 (* val cache2 : int -> int -> transaction page *)
 val flush : int -> transaction page
-val flash : int -> transaction page
-val floosh : int -> transaction page
+(* val flash : int -> transaction page *)
+(* val floosh : int -> transaction page *)
 (* val flush17 : transaction page *)