[commit: testsuite] master: Test deriving Typeable for promoted data constructors with AutoDeriveTypeable (e5c5252)

[José Pedro Magalhães]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

https://github.com/ghc/testsuite/commit/e5c52528cdc5090ed12113f784907d7aa678449b

>---------------------------------------------------------------

commit e5c52528cdc5090ed12113f784907d7aa678449b
Author: Jose Pedro Magalhaes <jpm at cs.ox.ac.uk>
Date:   Tue May 21 10:13:06 2013 +0100

    Test deriving Typeable for promoted data constructors with AutoDeriveTypeable

>---------------------------------------------------------------

 .../deriving/should_compile/AutoDeriveTypeable.hs  |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)

diff --git a/tests/deriving/should_compile/AutoDeriveTypeable.hs b/tests/deriving/should_compile/AutoDeriveTypeable.hs
index 677356d..52e6c38 100644
--- 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)]