"Scott J." <[EMAIL PROTECTED]> writes:

> what's wrong with the code of test1 below. Ghci does complain with
> an error message that I don't understand.

> test1 = \f ::(forall a. a -> a) -> (f True,f 'a')  

test1 = \(f :: forall a. a -> a) -> (f True,f 'a')

_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to