Type checker's expected and inferred types (reformatted)

[Bulat Ziganshin]

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


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