testsuite/tests/typecheck/should_fail/AssocTyDef03.hs

   1 {-# LANGUAGE TypeFamilies #-}
   2 module AssocTyDef03 where
   3
   4 class Cls a where
   5     data Typ a
   6     type Typ a = Int
   7       -- Default for data family :-(