blob: f3b0d3b43fccb0d381c5133532058aecbfd126f4 (
plain)
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
|