summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/AssocTyDef05.hs
blob: 097d14f40aad7497aead8393ab4cf035e3f2bac9 (plain)
1
2
3
4
5
6
7
{-# LANGUAGE TypeFamilies #-}
module AssocTyDef05 where

class Cls a where
    type Typ a
    type Typ = Maybe
      -- Too few params for default