13 Mar
2001
13 Mar
'01
4:06 p.m.
Jón Fairbairn writes:
So why is (^2*3) not equvalent to \a->a^2*3 ?
Because it's being parsed as (^(2*3)) when it should be rejected.
Interestingly enough, all of Hugs, nhc98, and hbc make the same mistake. Only ghc rejects the expression, correctly complaining that the fixities do not match. Regards, Malcolm