Mercurial > urweb
view tests/README @ 1738:1a35e75b6967
Catch duplicate top-level module names; fix dropping of constraints during incremental elaboration; document treatment of record types as type class instance types
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 03 May 2012 09:56:41 -0400 (2012-05-03) |
parents | d40104c112df |
children |
line wrap: on
line source
Most of these tests are broken, which is why they are masked out for the official code releases. Use at your own risk, and expect no support from anyone!