RE: Proposal for error message improvement

[Simon Marlow]

> : 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?

Simon M.