On Sun, Mar 30, 2008 at 10:03 PM, Samuel Bronson wrote:

Sun Mar 30 19:43:26 EDT 2008 Samuel Bronson * 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...