diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T11334b.stderr')
-rw-r--r-- | testsuite/tests/dependent/should_fail/T11334b.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/dependent/should_fail/T11334b.stderr b/testsuite/tests/dependent/should_fail/T11334b.stderr index 57045d6df1..c9eda334bb 100644 --- a/testsuite/tests/dependent/should_fail/T11334b.stderr +++ b/testsuite/tests/dependent/should_fail/T11334b.stderr @@ -1,5 +1,5 @@ -T11334b.hs:8:14: error: +T11334b.hs:8:14: error: [GHC-79924] • Cannot default kind variable ‘a0’ of kind: k10 Perhaps enable PolyKinds or add a kind signature @@ -7,7 +7,7 @@ T11334b.hs:8:14: error: In the expression: Proxy :: Proxy 'Compose In an equation for ‘p’: p = Proxy :: Proxy 'Compose -T11334b.hs:8:14: error: +T11334b.hs:8:14: error: [GHC-79924] • Cannot default kind variable ‘g0’ of kind: k10 -> k0 Perhaps enable PolyKinds or add a kind signature @@ -15,7 +15,7 @@ T11334b.hs:8:14: error: In the expression: Proxy :: Proxy 'Compose In an equation for ‘p’: p = Proxy :: Proxy 'Compose -T11334b.hs:8:14: error: +T11334b.hs:8:14: error: [GHC-79924] • Cannot default kind variable ‘f0’ of kind: k0 -> * Perhaps enable PolyKinds or add a kind signature |