Commit b7d8057a authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test for Trac #1935

parent cab326aa
......@@ -15,3 +15,4 @@ test('drv014', normal, compile, [''])
test('drv015', normal, compile, [''])
test('drv020', normal, compile, [''])
test('drv021', normal, compile, [''])
test('deriving-1935', normal, compile, [''])
{-# OPTIONS_GHC -XDeriveDataTypeable #-}
-- Trac #1935
-- See Note [Superclasses of derived instance] in TcDeriv
module Foo where
import Data.Generics
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)
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment