diff options
author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-04-24 10:47:51 -0400 |
---|---|---|
committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-04-24 10:47:52 -0400 |
commit | ab27fdcfe26759f3e4cd7e2105e7e7e83e269e48 (patch) | |
tree | 7988700a1c119f0b6a9c76b9b693f82cef3f4d76 | |
parent | f799df59d5f7e9fb683f2c71e25b65412afc53a7 (diff) | |
download | haskell-ab27fdcfe26759f3e4cd7e2105e7e7e83e269e48.tar.gz |
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
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T13603.hs | 10 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 2 |
2 files changed, 11 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T13603.hs b/testsuite/tests/typecheck/should_compile/T13603.hs new file mode 100644 index 0000000000..d0c1975e04 --- /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 9d9e10290f..fcb80da61e 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, ['']) |