[Haskell-cafe] Type inference; always

Andrew Coppin andrewcoppin at btinternet.com
Sun May 18 13:11:11 EDT 2008

Luke Palmer wrote:
> Do you have an example of code that required an annotation to compile?

There is some trickiness around functions like "read" that can demand 
explicit type signatures. You also sometimes get this with numeric 
literals, array types, etc.

More information about the Haskell-Cafe mailing list