Test deriving Typeable for promoted data constructors with AutoDerive…

…Typeable
ghc · May 21, 2013 · e5c5252 · e5c5252
1 parent 7dfb38d
commit e5c5252
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/tests/deriving/should_compile/AutoDeriveTypeable.hs b/tests/deriving/should_compile/AutoDeriveTypeable.hs
@@ -1,5 +1,7 @@
 {-# LANGUAGE AutoDeriveTypeable #-}
 {-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE DataKinds          #-}
+{-# LANGUAGE PolyKinds          #-}
 
 module AutoDeriveTypeable where
 
@@ -13,4 +15,5 @@ data B = B deriving Typeable
 data C = C
 deriving instance Typeable C
 
-test = [typeRep [A], typeRep [B], typeRep [C]]
+test = [ typeRep [A], typeRep [B], typeRep [C]
+       , typeRep (Proxy :: Proxy 'B), typeRep (Proxy :: Proxy 'C)]