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

Samuel Bronson naesten at gmail.com
Mon Mar 17 17:32:01 EDT 2008


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


More information about the jhc mailing list