[commit: ghc] master: Test T15711 in indexed-types/should_compile/T15711 (c1db1eb)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/c1db1eb028b6962bac904975a6730edc6935ca8f/ghc

>---------------------------------------------------------------

commit c1db1eb028b6962bac904975a6730edc6935ca8f
Author: Richard Eisenberg <rae at cs.brynmawr.edu>
Date:   Mon Oct 29 09:51:52 2018 -0400

    Test T15711 in indexed-types/should_compile/T15711


>---------------------------------------------------------------

c1db1eb028b6962bac904975a6730edc6935ca8f
 testsuite/tests/indexed-types/should_compile/T15711.hs              | 6 ++++++
 .../AddAndOr3.stderr => indexed-types/should_compile/T15711.stderr} | 6 ++++--
 testsuite/tests/indexed-types/should_compile/all.T                  | 1 +
 3 files changed, 11 insertions(+), 2 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 0000000..4014cfa
--- /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/partial-sigs/should_compile/AddAndOr3.stderr b/testsuite/tests/indexed-types/should_compile/T15711.stderr
similarity index 53%
copy from testsuite/tests/partial-sigs/should_compile/AddAndOr3.stderr
copy to testsuite/tests/indexed-types/should_compile/T15711.stderr
index d7a164b..1d23612 100644
--- a/testsuite/tests/partial-sigs/should_compile/AddAndOr3.stderr
+++ b/testsuite/tests/indexed-types/should_compile/T15711.stderr
@@ -1,5 +1,7 @@
-TYPE SIGNATURES
-  addAndOr3 :: (Int, Bool) -> (Bool, Int) -> (Int, Bool)
+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 d95826c..687e71d 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'])