Type checker's expected and inferred types (reformatted)

Bulat Ziganshin bulat.ziganshin at gmail.com
Sat Oct 24 01:34:23 EDT 2009

Hello David,

Saturday, October 24, 2009, 8:50:57 AM, you wrote:

> The expected type is what the context wants (it's *ex*ternal). The
> inferred type is what the expression itself has (it's *in*ternal).

heh, how long we will need to learn decryption rules for this simple

Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com

More information about the Glasgow-haskell-users mailing list