Name: Anonymous 2009-04-03 18:15
(define a
(lambda (x)
(not (x x))))
(a a)SHIT BRICKS
(define a
(lambda (x)
(not (x x))))
(a a)Prelude> let a f = not $ f f
<interactive>:1:16:
Occurs check: cannot construct the infinite type: t = t -> Bool
Probable cause: `f' is applied to too many arguments
In the second argument of `($)', namely `f f'
In the expression: not $ f f