tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / AssocTyDef09.hs
1 {-# LANGUAGE TypeFamilies #-}
2 module AssocTyDef01 where
3
4 type family OtherTyp a
5
6 class Cls a where
7 type Typ a
8 type OtherType a = Int
9 -- Default for top level AT: want error