On May 20, 2010, at 11:03 AM, R J wrote:
stranger f = f f
This doesn't have a type in Haskell.
Suppose f :: a -> b
Then if f f made sense, a = (a -> b) would be true,
and we'd have an infinite type.
Type the definition into a file, and try loading it
into ghci:
Occurs check: cannot construct the infinite type: t = t -> t1
Probable cause: `f' is applied to too many arguments
In the expression: f f
In the definition of `stranger': stranger f = f f
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
