Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
https://github.com/ghc/testsuite/commit/e5c52528cdc5090ed12113f784907d7aa678449b >--------------------------------------------------------------- commit e5c52528cdc5090ed12113f784907d7aa678449b Author: Jose Pedro Magalhaes <[email protected]> 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)] _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
