[jhc] (->) not working too well...

John Meacham john at repetae.net
Mon Mar 17 11:03:31 EDT 2008


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 at .-> 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⑈


More information about the jhc mailing list