diff options
| -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, ['']) |