diff options
Diffstat (limited to 'testsuite/tests/polykinds/T11142.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T11142.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/polykinds/T11142.stderr b/testsuite/tests/polykinds/T11142.stderr index e061d41bce..3b151a9dc1 100644 --- a/testsuite/tests/polykinds/T11142.stderr +++ b/testsuite/tests/polykinds/T11142.stderr @@ -1,10 +1,10 @@ -T11142.hs:9:49: error: +T11142.hs:9:49: error: [GHC-46956] • Expected kind ‘k’, but ‘b’ has kind ‘k0’ - because kind variable ‘k’ would escape its scope - This (rigid, skolem) kind variable is bound by - an explicit forall k (a :: k) - at T11142.hs:9:26-35 + • because kind variable ‘k’ would escape its scope + This (rigid, skolem) kind variable is bound by + an explicit forall k (a :: k) + at T11142.hs:9:26-35 • In the second argument of ‘SameKind’, namely ‘b’ In the type signature: foo :: forall b. (forall k (a :: k). SameKind a b) -> () |