annotate tests/capture.ur @ 2286:0bdfec16a01d

Fix issue with one-element caches. Locking still WIP.
author Ziv Scully <ziv@mit.edu>
date Fri, 13 Nov 2015 01:04:32 -0500
parents 6c00d8af6239
children
rev   line source
adam@1639 1 val y = []
adam@1639 2
adam@1639 3 type foo = int
adam@1639 4 val z : list {F : foo} = y