testsuite/tests/typecheck/should_compile/tc254.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -fwarn-missing-methods #-}
module AssocTyDef01 where

class Cls a where
    type Typ a

instance Cls Int where
    -- No default: should get warning