Mercurial > urweb

annotate tests/unbound.ur @ 2282:19b233bb3176

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make cache flushes safe for transactions (not sure about LRU bump on read).
author Ziv Scully <ziv@mit.edu>
date Thu, 12 Nov 2015 09:47:20 -0500
parents 16ee7ff7f119
children
rev   line source
adam@1717 1 structure M = struct end
adam@1717 2
adam@1717 3 fun f (x : $M.r) : $([A = int] ++ M.r) = x