tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / T11724.hs
1 {-# LANGUAGE TypeInType #-}
2
3 module T11724 where
4
5 import GHC.Exts
6
7 data Foo (r :: RuntimeRep) (a :: TYPE r) = Foo a