testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc214.hs
1 {-# OPTIONS_GHC -XImpredicativeTypes -fno-warn-deprecated-flags -XGADTs #-}
2
3 -- This program sent GHC 6.6 into a loop, because the fixpointing
4 -- of the substitution in type refinement got its in-scope-set
5 -- from the answer!
6
7 module ShouldCompile where
8
9 ------------------
10 data Foo a b where F :: a -> Foo () a
11
12 bar :: Foo () (forall a.a) -> ()
13 bar (F _) = ()
14
15 ------------------
16 data Foo2 a where F2 :: a -> Foo2 [a]
17
18 bar2 :: Foo2 [forall a.a] -> ()
19 bar2 (F2 _) = ()