Mercurial > urweb
annotate tests/bad.ur @ 1527:cccf8bf64b30
Fix opening of shadowing, principal-signatured modules that open other modules
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 04 Aug 2011 16:44:05 -0400 |
| parents | 0d916892e39e |
| children |
| rev | line source |
|---|---|
| adamc@1044 | 1 fun main $ = 0 |