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

John Meacham john at repetae.net
Mon Mar 17 18:01:35 EDT 2008


On Mon, Mar 17, 2008 at 05:32:01PM -0400, Samuel Bronson wrote:
> On 3/17/08, John Meacham <john at repetae.net> wrote:
> > 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.
> 
> That's easy for you to say... but JHC doesn't seem to get the kind
> right on (->) at this point...


Well, the kind of (->) is fairly tricky due to the fact it is
kind-polymorphic for the same reason it is in ghc. since functions need
to accept unboxed arguments and return unboxed tuples.

Though, restraining it to * -> * -> * in class heads probably makes
sense.

        John

-- 
John Meacham - ⑆repetae.net⑆john⑈


More information about the jhc mailing list