[Haskell-cafe] What is an "expected type" ...

[Martijn van Steenbergen]

Hi Michael,

michael rice wrote:
> as opposed to an "inferred type"?

Can you deduce from the following example?

> Prelude> let foo = () :: Int
> <interactive>:1:10:
>     Couldn't match expected type `Int' against inferred type `()'
>     In the expression: () :: Int
>     In the definition of `foo': foo = () :: Int
> 

Hope this helps!

Martijn.