[commit: ghc] master: Add regression test for #13603 (ab27fdc)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/ab27fdcfe26759f3e4cd7e2105e7e7e83e269e48/ghc

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

commit ab27fdcfe26759f3e4cd7e2105e7e7e83e269e48
Author: Ryan Scott <ryan.gl.scott at gmail.com>
Date:   Mon Apr 24 10:47:51 2017 -0400

    Add regression test for #13603
    
    Summary:
    Commit b207b536ded40156f9adb168565ca78e1eef2c74 (#11714) happened to
    fix #13603 as well. Let's add a regression test so that it stays fixed.
    
    Test Plan: make test TEST=T13603
    
    Reviewers: bgamari, austin, simonpj
    
    Reviewed By: bgamari, simonpj
    
    Subscribers: simonpj, rwbarton, thomie
    
    GHC Trac Issues: #13603
    
    Differential Revision: https://phabricator.haskell.org/D3489


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

ab27fdcfe26759f3e4cd7e2105e7e7e83e269e48
 testsuite/tests/typecheck/should_compile/T13603.hs | 10 ++++++++++
 testsuite/tests/typecheck/should_compile/all.T     |  2 +-
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/testsuite/tests/typecheck/should_compile/T13603.hs b/testsuite/tests/typecheck/should_compile/T13603.hs
new file mode 100644
index 0000000..d0c1975
--- /dev/null
+++ b/testsuite/tests/typecheck/should_compile/T13603.hs
@@ -0,0 +1,10 @@
+{-# Language PolyKinds, TypeInType, UndecidableInstances #-}
+module T13603 where
+
+import GHC.Exts (TYPE, RuntimeRep)
+
+class        A (a :: TYPE rep)
+class A a => B (a :: TYPE rep)
+
+instance A b => A (a -> (b :: TYPE rep))
+instance B b => B (a -> (b :: TYPE rep))
diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T
index 9d9e102..fcb80da 100644
--- a/testsuite/tests/typecheck/should_compile/all.T
+++ b/testsuite/tests/typecheck/should_compile/all.T
@@ -554,4 +554,4 @@ test('T13474', normal, compile, [''])
 test('T13524', normal, compile, [''])
 test('T13509', normal, compile, [''])
 test('T13526', normal, compile, [''])
-
+test('T13603', normal, compile, [''])