[jhc] darcs patch: Fix kind inference + test

Samuel Bronson naesten at gmail.com
Sun Mar 30 22:27:05 EDT 2008


On Sun, Mar 30, 2008 at 10:03 PM, Samuel Bronson <naesten at gmail.com> wrote:
> Sun Mar 30 19:43:26 EDT 2008  Samuel Bronson <naesten at gmail.com>
>   * Fix kind inference + test
>   Also, comment out the case in kindOf that makes things look fine when
>   they aren't -- unless of course * isn't the right kind

Hmm. This doesn't actually pass... goofy me...

After adding a "main" to the test, I find that MetaVars are leaking
into the .ho file...


More information about the jhc mailing list