Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T8132.hs
1 {-# LANGUAGE MagicHash #-}
2 import Data.Typeable
3
4 data K = K
5
6 -- This used to have a RHS but now we hide typeRep#
7 instance Typeable K -- where typeRep# _ = undefined