Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / 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 :-(