Type checker's expected and inferred types (reformatted)

C Rodrigues 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 mailing list