summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_compile/deriving-1935.hs
blob: 5b3bca0c77090f0986fdfa9e39dc3b3bf5ad15b4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
{-# OPTIONS_GHC -XDeriveDataTypeable #-}

-- Trac #1935
-- See Note [Superclasses of derived instance] in TcDeriv

module Foo where

 import Data.Data

 data Foo a = Foo
    deriving (Data, Typeable)

 data T a = MkT (S a) deriving( Ord )

 instance Num a => Eq (T a)

 data S a = S
 instance Eq (S a)
 instance Ord (S a)