testsuite/tests/typecheck/should_fail/AssocTyDef01.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE TypeFamilies #-}
module AssocTyDef01 where

class OtherCls a where
    type OtherTyp a

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