[commit: ghc] master: Test Trac #12885 (27a6bdf)

[git at git.haskell.org]

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

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

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

commit 27a6bdf029491a7bbd50377932ae86ede5b5020a
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Nov 28 17:15:16 2016 +0000

    Test Trac #12885
    
    ...which is fixed by
    
      commit 0476a64e70c91b326b53db2fc55adbbaa8e5c270
      Author: Simon Peyton Jones <simonpj at microsoft.com>
      Date:   Tue Oct 25 15:22:17 2016 +0100
    
        Fix a bug in mk_superclasses_of


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

27a6bdf029491a7bbd50377932ae86ede5b5020a
 testsuite/tests/polykinds/T12885.hs | 12 ++++++++++++
 testsuite/tests/polykinds/all.T     |  1 +
 2 files changed, 13 insertions(+)

diff --git a/testsuite/tests/polykinds/T12885.hs b/testsuite/tests/polykinds/T12885.hs
new file mode 100644
index 0000000..5da4981
--- /dev/null
+++ b/testsuite/tests/polykinds/T12885.hs
@@ -0,0 +1,12 @@
+{-# LANGUAGE TypeFamilies, ConstraintKinds  #-}
+
+module Foo where
+
+import GHC.Exts
+
+f :: F [a] => a -> Bool
+f x = x == x
+
+type family F a :: Constraint
+type instance F [a] = (Show a, (Show a, (Show a, (Show a, (Show a,
+                       Show a, (Show a, (Show a, (Show a, (Show a, Eq a)))))))))
diff --git a/testsuite/tests/polykinds/all.T b/testsuite/tests/polykinds/all.T
index 0e0d66a..db06932 100644
--- a/testsuite/tests/polykinds/all.T
+++ b/testsuite/tests/polykinds/all.T
@@ -155,3 +155,4 @@ test('T12593', normal, compile_fail, [''])
 test('T12668', normal, compile, [''])
 test('T12718', normal, compile, [''])
 test('T12444', normal, compile_fail, [''])
+test('T12885', normal, compile, [''])