[commit: ghc] master: testsuite: Accept output for T12593 (875e59d)

git at git.haskell.org git at git.haskell.org
Fri Apr 6 18:49:08 UTC 2018


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

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

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

commit 875e59d37186a997df2cc7d0fdb49ef41d0e31ce
Author: Ben Gamari <bgamari.foss at gmail.com>
Date:   Fri Apr 6 11:10:25 2018 -0400

    testsuite: Accept output for T12593
    
    Summary: This seems to have changed recently but the new output looks plausible.
    
    Reviewers: RyanGlScott
    
    Reviewed By: RyanGlScott
    
    Subscribers: RyanGlScott, thomie, carter
    
    Differential Revision: https://phabricator.haskell.org/D4561


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

875e59d37186a997df2cc7d0fdb49ef41d0e31ce
 testsuite/tests/polykinds/T12593.stderr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/testsuite/tests/polykinds/T12593.stderr b/testsuite/tests/polykinds/T12593.stderr
index e30599d..3e63159 100644
--- a/testsuite/tests/polykinds/T12593.stderr
+++ b/testsuite/tests/polykinds/T12593.stderr
@@ -10,7 +10,7 @@ T12593.hs:12:31: error:
     • Expecting one more argument to ‘k’
       Expected a type, but
       ‘k’ has kind
-      ‘(((k0 -> k1 -> TYPE t1) -> Constraint) -> k2 -> *) -> Constraint’
+      ‘(((k0 -> k1 -> *) -> Constraint) -> k2 -> *) -> Constraint’
     • In the kind ‘k’
       In the type signature:
         run :: k2 q =>
@@ -21,7 +21,7 @@ T12593.hs:12:40: error:
     • Expecting two more arguments to ‘k1’
       Expected a type, but
       ‘k1’ has kind
-      ‘((k0 -> k1 -> TYPE t1) -> Constraint) -> k2 -> *’
+      ‘((k0 -> k1 -> *) -> Constraint) -> k2 -> *’
     • In the kind ‘k1’
       In the type signature:
         run :: k2 q =>



More information about the ghc-commits mailing list