Is this a bug?

Malcolm Wallace Malcolm.Wallace@cs.york.ac.uk
Tue, 13 Mar 2001 10:36:22 +0000


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