Mercurial > urweb
view tests/README @ 1989:210fb3dfc483
Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 20 Feb 2014 10:27:15 -0500 |
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!