Re[2]: Type checker's expected and inferred types (reformatted)

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@gmail.com