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