[commit: ghc] ghc-8.2: Add regression test for #13603 (1bc7429)
git at git.haskell.org
git at git.haskell.org
Thu Apr 27 20:10:33 UTC 2017
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, [''])
More information about the ghc-commits
mailing list