[commit: ghc] ghc-8.2: Add regression test for #13603 (1bc7429)

[git at git.haskell.org]

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

On branch  : ghc-8.2
Link       : http://ghc.haskell.org/trac/ghc/changeset/1bc7429d921ae8a1c82773b9c6dde0395d1514d4/ghc

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

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

    Add regression test for #13603
    
    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
    
    (cherry picked from commit ab27fdcfe26759f3e4cd7e2105e7e7e83e269e48)


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

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

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 03a2e73..1e98ec5 100644
--- a/testsuite/tests/typecheck/should_compile/all.T
+++ b/testsuite/tests/typecheck/should_compile/all.T
@@ -549,3 +549,4 @@ test('T13343', normal, compile, [''])
 test('T13474', normal, compile, [''])
 test('T13509', normal, compile, [''])
 test('T13524', normal, compile, [''])
+test('T13603', normal, compile, [''])