testsuite: Accept output for T12593
authorBen Gamari <bgamari.foss@gmail.com>
Fri, 6 Apr 2018 15:10:25 +0000 (11:10 -0400)
committerRyan Scott <ryan.gl.scott@gmail.com>
Fri, 6 Apr 2018 15:10:25 +0000 (11:10 -0400)
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

testsuite/tests/polykinds/T12593.stderr

index e30599d..3e63159 100644 (file)
@@ -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 =>