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

On Mon, Mar 17, 2008 at 06:48:46PM -0400, Samuel Bronson wrote:

On 3/17/08, John Meacham 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⑈