Mercurial > urweb

view 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
line wrap: on
line source
val y = []

type foo = int
val z : list {F : foo} = y