diff options
author | Ziv Scully <ziv@mit.edu> | 2015-11-09 13:37:31 -0500 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-11-09 13:37:31 -0500 |
commit | aa2c8c64542d7930773da26573e186ec3753c268 (patch) | |
tree | a5b38a3ba9faa66bec88afc89df8c93b51508318 /caching-tests/test.urs | |
parent | 1c2069212a7dec30db45e02391d7ca0154cd5709 (diff) |
Progress on free paths, but consolidation seems to fail more with them.
Diffstat (limited to 'caching-tests/test.urs')
-rw-r--r-- | caching-tests/test.urs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/caching-tests/test.urs b/caching-tests/test.urs index ebe6bf56..1fa5a9c2 100644 --- a/caching-tests/test.urs +++ b/caching-tests/test.urs @@ -1,4 +1,5 @@ val cache : 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 |