diff options
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/T15711.hs | 6 | ||||
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/T15711.stderr | 7 | ||||
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/all.T | 1 |
3 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T15711.hs b/testsuite/tests/indexed-types/should_compile/T15711.hs new file mode 100644 index 0000000000..4014cfad7a --- /dev/null +++ b/testsuite/tests/indexed-types/should_compile/T15711.hs @@ -0,0 +1,6 @@ +{-# LANGUAGE TypeFamilies, PolyKinds, DataKinds #-} + +module Bug where + +class C a where + type F (x :: Maybe a) diff --git a/testsuite/tests/indexed-types/should_compile/T15711.stderr b/testsuite/tests/indexed-types/should_compile/T15711.stderr new file mode 100644 index 0000000000..1d23612cfc --- /dev/null +++ b/testsuite/tests/indexed-types/should_compile/T15711.stderr @@ -0,0 +1,7 @@ +TYPE CONSTRUCTORS + C :: * -> Constraint + type role F nominal nominal + F :: forall a. Maybe a -> * +Dependent modules: [] +Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3, + integer-gmp-1.0.2.0] diff --git a/testsuite/tests/indexed-types/should_compile/all.T b/testsuite/tests/indexed-types/should_compile/all.T index d95826c362..687e71d673 100644 --- a/testsuite/tests/indexed-types/should_compile/all.T +++ b/testsuite/tests/indexed-types/should_compile/all.T @@ -294,3 +294,4 @@ test('T15322a', normal, compile_fail, ['']) test('T15142', normal, compile, ['']) test('T15352', normal, compile, ['']) test('T15664', normal, compile, ['']) +test('T15711', normal, compile, ['-ddump-types']) |