[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