[commit: ghc] ghc-8.0: Elaborate test for #11376 (1b381b5)

[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/1b381b50cdd5d8ac6f0e2ed3a525e8ea1514a09f/ghc

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

commit 1b381b50cdd5d8ac6f0e2ed3a525e8ea1514a09f
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Apr 4 10:34:35 2016 +0100

    Elaborate test for #11376
    
    This just adds the Prox stuff from the Description in Trac #11376
    to the test case,
    
    The class stuff seems weird becuase the type is ambiguous
    
    (cherry picked from commit b3ecd047c432405b57b429fdeaad43f5dcd1ee24)


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

1b381b50cdd5d8ac6f0e2ed3a525e8ea1514a09f
 testsuite/tests/ghci/scripts/T11376.script | 8 +++++++-
 testsuite/tests/ghci/scripts/T11376.stdout | 4 ++++
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/testsuite/tests/ghci/scripts/T11376.script b/testsuite/tests/ghci/scripts/T11376.script
index 780db3c..d359b66 100644
--- a/testsuite/tests/ghci/scripts/T11376.script
+++ b/testsuite/tests/ghci/scripts/T11376.script
@@ -3,4 +3,10 @@ let { bar :: Show a => a -> b -> a; bar = error "urk" }
 :type bar @Int
 :set -fprint-explicit-foralls
 :type bar @Int
-
+:set -fprint-explicit-kinds -XTypeApplications -XTypeInType
+data Prox a = Prox
+let { prox :: Prox a; prox = Prox }
+:t prox
+:t prox @Int
+:t Prox
+:t Prox @Int
diff --git a/testsuite/tests/ghci/scripts/T11376.stdout b/testsuite/tests/ghci/scripts/T11376.stdout
index 0b0b959..c945167 100644
--- a/testsuite/tests/ghci/scripts/T11376.stdout
+++ b/testsuite/tests/ghci/scripts/T11376.stdout
@@ -1,2 +1,6 @@
 bar @Int :: Int -> b -> Int
 bar @Int :: forall {b}. Int -> b -> Int
+prox :: forall {k} {a :: k}. Prox k a
+prox @Int :: Prox * Int
+Prox :: forall {k} {a :: k}. Prox k a
+Prox @Int :: Prox * Int