blob: 9039332f292df79b819449730b181203c4a8dff8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# OPTIONS_GHC -XDeriveDataTypeable -XStandaloneDeriving #-}
-- See Trac #1825
module ShouldFail where
import Data.Typeable
data T1 a = T1 a deriving( Typeable1 )
data T2 a b = T2 a b
deriving instance (Typeable a, Typeable b) => Typeable (T2 a b)
-- c.f. drv021.hs
|
