diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/T11976.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/T11976.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T11976.stderr b/testsuite/tests/partial-sigs/should_fail/T11976.stderr index 28104625e1..c4c3d50e59 100644 --- a/testsuite/tests/partial-sigs/should_fail/T11976.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T11976.stderr @@ -1,12 +1,12 @@ T11976.hs:7:7: error: • Cannot instantiate unification variable ‘a0’ - with a type involving foralls: Lens w3 w4 w5 + with a type involving foralls: Lens _3 _4 _5 GHC doesn't yet support impredicative polymorphism • In the expression: undefined :: Lens _ _ _ In an equation for ‘foo’: foo = undefined :: Lens _ _ _ • Relevant bindings include - foo :: Lens w w1 w2 (bound at T11976.hs:7:1) + foo :: Lens _ _1 _2 (bound at T11976.hs:7:1) T11976.hs:7:20: error: • Expected kind ‘k0 -> *’, but ‘Lens _ _’ has kind ‘*’ @@ -14,4 +14,4 @@ T11976.hs:7:20: error: In an expression type signature: Lens _ _ _ In the expression: undefined :: Lens _ _ _ • Relevant bindings include - foo :: Lens w w1 w2 (bound at T11976.hs:7:1) + foo :: Lens _ _1 _2 (bound at T11976.hs:7:1) |