Tests for Trac #1825

testsuite/tests/ghc-regress/deriving/should_compile/all.T

@@ -14,3 +14,4 @@ test('drv013', normal, compile, [''])
 test('drv014', normal, compile, [''])
 test('drv015', normal, compile, [''])
 test('drv020', normal, compile, [''])
+test('drv021', normal, compile, [''])

testsuite/tests/ghc-regress/deriving/should_compile/drv021.hs

+{-# OPTIONS_GHC  -XDeriveDataTypeable -XStandaloneDeriving #-}
+
+-- See Trac #1825
+-- Test stand-alone deriving for Typeable
+-- Horridly, one needs to define instance for Typeable1 etc
+
+module ShouldCompile where
+
+import Data.Typeable
+
+data T1 a   = T1 a
+data T2 a b = T2 a b 
+
+deriving instance Typeable1 T1
+deriving instance Typeable2 T2
+

testsuite/tests/ghc-regress/deriving/should_fail/all.T

@@ -12,3 +12,4 @@ test('drvfail010', normal, compile_fail, [''])
 test('drvfail011', normal, compile_fail, [''])
 test('drvfail012', normal, compile_fail, [''])
 test('drvfail013', normal, compile_fail, [''])
+test('drvfail014', normal, compile_fail, [''])

testsuite/tests/ghc-regress/deriving/should_fail/drvfail014.hs

+{-# 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

testsuite/tests/ghc-regress/deriving/should_fail/drvfail014.stderr

+
+drvfail014.hs:8:0:
+    Use deriving( Typeable ) on a data type declaration
+    In the data type declaration for `T1'
+
+drvfail014.hs:12:0:
+    Derived typeable instance must be of form (Typeable2 T2)
+    In the stand-alone deriving instance for
+      `(Typeable a, Typeable b) => Typeable (T2 a b)'