17 Mar
2008
17 Mar
'08
9:32 p.m.
On 3/17/08, John Meacham
yeah, that doesn't surprise me that much, though it will likely be not too hard to fix. basically, since we need to sometimes treat types as values we can scrutinize (->) has a reified form of the type constructor that takes two arguments named Jhc@.-> defined in Name.Names as tc_Arrow.
Code just needs to make sure that it translates between the two forms as needed.
That's easy for you to say... but JHC doesn't seem to get the kind right on (->) at this point...