diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/T11976.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/T11976.stderr | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T11976.stderr b/testsuite/tests/partial-sigs/should_fail/T11976.stderr index c4c3d50e59..bcc69bf2d8 100644 --- a/testsuite/tests/partial-sigs/should_fail/T11976.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T11976.stderr @@ -1,17 +1,6 @@ -T11976.hs:7:7: error: - • Cannot instantiate unification variable ‘a0’ - 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 _ _1 _2 (bound at T11976.hs:7:1) - T11976.hs:7:20: error: • Expected kind ‘k0 -> *’, but ‘Lens _ _’ has kind ‘*’ • In the type ‘Lens _ _ _’ In an expression type signature: Lens _ _ _ In the expression: undefined :: Lens _ _ _ - • Relevant bindings include - foo :: Lens _ _1 _2 (bound at T11976.hs:7:1) |