It *is* sometimes difficult to remember that my expectations and I are not part of this equation - it might be a better prompt to say something like

   type mismatch between function parameter and supplied value:
      function parameter type: A
      supplied value type: B


On Thu, Nov 7, 2013 at 6:02 AM, Simon Peyton-Jones <simonpj@microsoft.com> wrote:
The motivation is this. Consider

        f True

where f :: Int -> Char

Then
  f *expects* an argument of type Int
  but the *actual* argument has type Bool

Does that help?

Simon

| -----Original Message-----
| From: Glasgow-haskell-users [mailto:glasgow-haskell-users-
| bounces@haskell.org] On Behalf Of David Luposchainsky
| Sent: 07 November 2013 12:23
| To: Daniel Trstenjak; glasgow-haskell-users@haskell.org
| Subject: Re: GHC error message on type mismatch
|
| On 2013-11-07 12:52, Daniel Trstenjak wrote:
| > My problem is with 'Expected' and 'Actual', that I'm often unsure if
| > the compiler is "expecting" something or if I'm the expecting one
| > and the same goes for "actual".
|
| Funny you mention it; I think I just got too used to the fact that every
| time I see this error I have to take a step back to remember what it
| means exactly. Renaming it to "given" or "provided" would really help.
|
| +1
|
| David
|
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users@haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users