The reason I said That's a bug! so confidently is because of the expected n
but got n part. Even if everything else is OK, we need to fix that one bit.
And I tend to agree about using heuristics to report better error messages in
the presence of instantiating a type variable with (-). I've been
But it says `expected Char - Bool, got Char - m Bool', note the `m' type
constructor in the second one. So it's not `n' vs. `n'.
On Dec 5, 2014 10:50 PM, Richard Eisenberg e...@cis.upenn.edu wrote:
The reason I said That's a bug! so confidently is because of the
expected n but got n part. Even
I think Richard is referring to The function ‘f2’ is applied to three
arguments,
but its type ‘Int - Float - Char - Bool’ has only three. Note
applied to three ... but ... only three. Here n = three.
-Brent
On Fri, Dec 5, 2014 at 9:55 AM, Dr. ÉRDI Gergő ge...@erdi.hu wrote:
But it says
