Type checker's expected and inferred types (reformatted)
red5_2 at hotmail.com
Sat Oct 24 00:57:18 EDT 2009
> Which message do you prefer? I couldn't tell which it was.
I prefer fun1. In my understanding, the 'inferred' type is gleaned by looking at theexpression itself, while the 'expected' type is implied by the context.
Windows 7: It works the way you want. Learn more.
More information about the Glasgow-haskell-users