Add regression test for #13603
authorRyan Scott <ryan.gl.scott@gmail.com>
Mon, 24 Apr 2017 14:47:51 +0000 (10:47 -0400)
committerRyan Scott <ryan.gl.scott@gmail.com>
Mon, 24 Apr 2017 14:47:52 +0000 (10:47 -0400)
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

testsuite/tests/typecheck/should_compile/T13603.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_compile/all.T

diff --git a/testsuite/tests/typecheck/should_compile/T13603.hs b/testsuite/tests/typecheck/should_compile/T13603.hs
new file mode 100644 (file)
index 0000000..d0c1975
--- /dev/null
@@ -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))
index 9d9e102..fcb80da 100644 (file)
@@ -554,4 +554,4 @@ test('T13474', normal, compile, [''])
 test('T13524', normal, compile, [''])
 test('T13509', normal, compile, [''])
 test('T13526', normal, compile, [''])
-
+test('T13603', normal, compile, [''])