Re: Proposal for error message improvement

[Marc van Dongen]

Simon M:

: > : We try to please.  How about this?
: > : 
: > : Simon
: > : 
: > : 
: > : Marc.hs:7:
: > :     Cannot unify the type-signature variable `p' with the type `[]'
: > :   Expected type: [a]
: > :   Inferred type: p a1
: > :     In the first argument of `ci', namely `a'
: > :     In the scrutinee of a case expression: ci a
: > 
: > Great!
: 
: But shouldn't the expected type and inferred type be reversed?

You're right.

Regards,

Marc