Mercurial > urweb

annotate tests/capture.ur @ 1651:dfc854e478bb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Error messages about applying 'dynClass' to tags that don't like it
author Adam Chlipala <adam@chlipala.net>
date Sat, 31 Dec 2011 13:31:00 -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