aboutsummaryrefslogtreecommitdiffhomepage
path: root/caching-tests/test.urs
diff options
context:
space:
mode:
authorGravatar Ziv Scully <ziv@mit.edu>2014-11-29 03:37:59 -0500
committerGravatar Ziv Scully <ziv@mit.edu>2014-11-29 03:37:59 -0500
commit476f12674420391e24afd1846e176eabe550d36c (patch)
tree005dcd53b84f29711c04508a9202f6c8e03c87c8 /caching-tests/test.urs
parentb59e6e96601c09bd97a4cce881c9b9f8bf8816a3 (diff)
Basic field-resolution invalidation.
Diffstat (limited to 'caching-tests/test.urs')
-rw-r--r--caching-tests/test.urs8
1 files changed, 4 insertions, 4 deletions
diff --git a/caching-tests/test.urs b/caching-tests/test.urs
index ace4ba28..30bff733 100644
--- a/caching-tests/test.urs
+++ b/caching-tests/test.urs
@@ -1,8 +1,8 @@
val cache01 : unit -> transaction page
-val cache10 : unit -> transaction page
-val cache11 : 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 flush10 : unit -> transaction page *)
+(* val flush11 : unit -> transaction page *)
val cache : int -> transaction page
val flush : int -> transaction page