tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail145.hs
1 {-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
2
3 -- This fails, because the type in the pattern doesn't exactly match
4 -- the context type. We don't do subsumption in patterns any more.
5
6 -- GHC 7.0: now we do again
7
8 module Foo where
9
10 foo :: (forall c. c -> c) -> [Char]
11 foo (f :: forall a. [a] -> [a]) = f undefined
12