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

[John Meacham]

On Mon, Mar 17, 2008 at 06:48:46PM -0400, Samuel Bronson wrote:
> On 3/17/08, John Meacham <john at repetae.net> wrote:
> > Hrmm... that might not work so well. We actually need the kind
> > overloaded sort for (->) and I wouldn't want an incorrect definition
> > there. No matter what some treating of it specially will have to happen
> > in the code proper, the internal representation of (->) just isn't a
> > data constructor. (a -> b) is actually shorthand for π(_∷a).b
> 
> Eh? I've never seen any πs in Hs code... in any case, I wrote this:
> 
> data (->) :: ?? -> ? -> *
> 
> which has the right kind. If the kind inference engine can't handle
> this, this probably won't ever work right...

Oh, it can handle it internally, I just wasn't sure if the front end
actually handled that declaration properly. but if it is.. then super.
There is a built in declaration in 'DataConstructors.hs' for tc_Arrow
you will likely have to take out. which is a good thing if this works.

        John


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