[commit: ghc] ghc-8.0: Add test for Trac #11056 (46d7840)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/46d784021737912706f21fcee40e3750dc2dcd9c/ghc

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

commit 46d784021737912706f21fcee40e3750dc2dcd9c
Author: RyanGlScott <ryan.gl.scott at gmail.com>
Date:   Sat Jan 23 13:03:26 2016 +0100

    Add test for Trac #11056
    
    Reviewers: thomie, austin, bgamari
    
    Reviewed By: bgamari
    
    Subscribers: rwbarton
    
    Differential Revision: https://phabricator.haskell.org/D1823
    
    GHC Trac Issues: #11056
    
    (cherry picked from commit 4e04043d1bb458439d3c3db3ffa9851bff780083)


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

46d784021737912706f21fcee40e3750dc2dcd9c
 testsuite/tests/typecheck/should_compile/T11056.hs | 14 ++++++++++++++
 testsuite/tests/typecheck/should_compile/all.T     |  1 +
 2 files changed, 15 insertions(+)

diff --git a/testsuite/tests/typecheck/should_compile/T11056.hs b/testsuite/tests/typecheck/should_compile/T11056.hs
new file mode 100644
index 0000000..ffb843b
--- /dev/null
+++ b/testsuite/tests/typecheck/should_compile/T11056.hs
@@ -0,0 +1,14 @@
+{-# LANGUAGE PolyKinds, DataKinds #-}
+module T11056 where
+import Data.Typeable
+
+data T = A | B Int
+
+bar :: TypeRep
+bar = typeRep (Proxy :: Proxy '[True])
+
+baz :: TypeRep
+baz = typeRep (Proxy :: Proxy 'A)
+
+quux :: TypeRep
+quux = typeRep (Proxy :: Proxy 'B)
diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T
index 90f42bf..7d7ec60 100644
--- a/testsuite/tests/typecheck/should_compile/all.T
+++ b/testsuite/tests/typecheck/should_compile/all.T
@@ -480,6 +480,7 @@ test('T10642', normal, compile, [''])
 test('T10744', normal, compile, [''])
 test('update-existential', normal, compile, [''])
 test('T10347', expect_broken(10347), compile, [''])
+test('T11056', normal, compile, [''])
 test('T10770a', expect_broken(10770), compile, [''])
 test('T10770b', expect_broken(10770), compile, [''])
 test('T10935', normal, compile, [''])