From 94d8b995aeca1b2fcee9467a0f2bdf0d9dc64069 Mon Sep 17 00:00:00 2001 From: Jose Pedro Magalhaes Date: Thu, 7 Feb 2013 13:59:51 +0000 Subject: Implement poly-kinded Typeable This patch makes the Data.Typeable.Typeable class work with arguments of any kind. In particular, this removes the Typeable1..7 class hierarchy, greatly simplyfing the whole Typeable story. Also added is the AutoDeriveTypeable language extension, which will automatically derive Typeable for all types and classes declared in that module. Since there is now no good reason to give handwritten instances of the Typeable class, those are ignored (for backwards compatibility), and a warning is emitted. The old, kind-* Typeable class is now called OldTypeable, and lives in the Data.OldTypeable module. It is deprecated, and should be removed in some future version of GHC. --- testsuite/tests/safeHaskell/unsafeLibs/BadImport02.hs | 2 +- testsuite/tests/safeHaskell/unsafeLibs/BadImport03.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'testsuite/tests/safeHaskell/unsafeLibs') diff --git a/testsuite/tests/safeHaskell/unsafeLibs/BadImport02.hs b/testsuite/tests/safeHaskell/unsafeLibs/BadImport02.hs index e9d5ca7577..80eba6288f 100644 --- a/testsuite/tests/safeHaskell/unsafeLibs/BadImport02.hs +++ b/testsuite/tests/safeHaskell/unsafeLibs/BadImport02.hs @@ -3,7 +3,7 @@ -- | Here we used typeable to produce an illegal value module Main where -import Data.Typeable +import Data.OldTypeable import BadImport02_A diff --git a/testsuite/tests/safeHaskell/unsafeLibs/BadImport03.hs b/testsuite/tests/safeHaskell/unsafeLibs/BadImport03.hs index 9b8a5651a9..9c06d34bab 100644 --- a/testsuite/tests/safeHaskell/unsafeLibs/BadImport03.hs +++ b/testsuite/tests/safeHaskell/unsafeLibs/BadImport03.hs @@ -5,7 +5,7 @@ -- Now using SAFE though so will fail module Main where -import Data.Typeable +import Data.OldTypeable import BadImport03_A -- cgit v1.2.1