Major patch to add -fwarn-redundant-constraints
[ghc.git] / testsuite / tests / ghci / scripts / T8931.script
1 :set -fno-warn-redundant-constraints
2 :m +Data.Typeable
3 let {f :: Typeable a => (a->Bool) -> Bool; f _ = True}
4 f (\x -> (x == 3))