tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / T3155.hs
1 {-# LANGUAGE GADTs, TypeOperators #-}
2 module T3155 where
3
4 -- Test Trac #3155
5 -- Gave bad error message in GHC 6.10
6
7 data Any s where
8 Any :: s ix -> ix -> Any s
9
10 data AnyR s r where
11 AnyR :: s ix -> r ix -> AnyR s r
12
13 unR :: (forall ix. r ix -> ix) -> AnyR s r -> Any s
14 unR f (AnyR ix rix) = Any ix (f rix)