Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail124.hs
1 {-# LANGUAGE RankNTypes #-}
2
3 module ShouldFail where
4
5 -- With the new typechecker (GHC 7.1), these now all pass
6
7 f1 :: (forall a. Eq a => [a]) -> Bool
8 f1 xs@(x:_) = x
9
10 f2 :: (forall a. Eq a => [a]) -> Bool
11 f2 [x] = x
12
13 f3 :: (forall a. Eq a => [a]) -> Bool
14 f3 (x:[]) = x