[commit: ghc] ghc-8.0: Fix T12593 (4557d94)

[git at git.haskell.org]

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

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/4557d944a61f54fcfe99a40cf7de942568ef22b4/ghc

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

commit 4557d944a61f54fcfe99a40cf7de942568ef22b4
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sat Oct 1 23:25:46 2016 -0400

    Fix T12593
    
    (cherry picked from commit 779bcc90cf8a52270bcd70a82442d01d35d7c788)


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

4557d944a61f54fcfe99a40cf7de942568ef22b4
 testsuite/tests/polykinds/T12593.stderr | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/testsuite/tests/polykinds/T12593.stderr b/testsuite/tests/polykinds/T12593.stderr
index 4b55155..2317e97 100644
--- a/testsuite/tests/polykinds/T12593.stderr
+++ b/testsuite/tests/polykinds/T12593.stderr
@@ -1,7 +1,7 @@
 
 T12593.hs:11:16: error:
     • Expecting two fewer arguments to ‘Free k k4 k5 p’
-      Expected kind ‘k0 -> k1 -> *’, but ‘Free k k4 k5 p’ has kind ‘*’
+      Expected kind ‘k3 -> k2 -> *’, but ‘Free k k4 k5 p’ has kind ‘*’
     • In the type signature:
         run :: k2 q =>
                Free k k1 k2 p a b
@@ -11,7 +11,7 @@ T12593.hs:12:31: error:
     • Expecting one more argument to ‘k’
       Expected a type, but
       ‘k’ has kind
-      ‘(((k0 -> k1 -> *) -> Constraint) -> (k2 -> k3 -> *) -> *)
+      ‘(((k3 -> k2 -> *) -> Constraint) -> (k1 -> k0 -> *) -> *)
        -> Constraint’
     • In the kind ‘k’
       In the type signature:
@@ -23,7 +23,7 @@ T12593.hs:12:40: error:
     • Expecting two more arguments to ‘k4’
       Expected a type, but
       ‘k4’ has kind
-      ‘((k0 -> k1 -> *) -> Constraint) -> (k2 -> k3 -> *) -> *’
+      ‘((k3 -> k2 -> *) -> Constraint) -> (k1 -> k0 -> *) -> *’
     • In the kind ‘k1’
       In the type signature:
         run :: k2 q =>