diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-10-29 09:51:52 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-10-29 09:51:52 -0400 |
| commit | c1db1eb028b6962bac904975a6730edc6935ca8f (patch) | |
| tree | 35376a8fae6f291aba0e8d0f5f3c9e0368b26858 /testsuite | |
| parent | 3a51abd04432ea3d13e4ea3c5a592f038bd57432 (diff) | |
| download | haskell-c1db1eb028b6962bac904975a6730edc6935ca8f.tar.gz | |
Test T15711 in indexed-types/should_compile/T15711
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']) |