GHC error message on type mismatch

Daniel Trstenjak daniel.trstenjak at
Fri Nov 8 08:32:13 UTC 2013

On Fri, Nov 08, 2013 at 12:01:13AM -0800, Evan Laforge wrote:
> When I write my own typecheck msgs, I always write "Function expected
> X, but received Y."  That's not too far off from expected / actual,
> though at least it has an explicit subject.

That's perfectly fine, because 'Function + expected' is pointing to the
compiler side and additionally 'received' is pointing to the user side.

More information about the Glasgow-haskell-users mailing list