Implement poly-kinded Typeable
authorJose Pedro Magalhaes <jpm@cs.ox.ac.uk>
Thu, 7 Feb 2013 14:00:59 +0000 (14:00 +0000)
committerJose Pedro Magalhaes <jpm@cs.ox.ac.uk>
Thu, 7 Feb 2013 14:00:59 +0000 (14:00 +0000)
commitdfd0805f79dbad370337b9b65b8d00edab97a1f1
tree05c40a01aab2b0d7dd0b0e9ad4184f3ca11448e2
parentd07c1e1caebc2a88da54d9cc0b10c3441b25391e
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.
dph-lifted-base/Data/Array/Parallel/PArray/Types.hs
dph-lifted-vseg/Data/Array/Parallel/Lifted/Closure.hs
dph-lifted-vseg/Data/Array/Parallel/PArray.hs
dph-lifted-vseg/Data/Array/Parallel/PArray/PData/Base.hs
dph-lifted-vseg/Data/Array/Parallel/PArray/PData/Nested.hs