17 Mar
2008
17 Mar
'08
3:03 p.m.
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. John -- John Meacham - ⑆repetae.net⑆john⑈