testsuite/tests/typecheck/should_fail/AssocTyDef09.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE TypeFamilies #-}
module AssocTyDef01 where

type family OtherTyp a

class Cls a where
    type Typ a
    type OtherType a = Int
      -- Default for top level AT: want error