diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T4093a.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4093a.stderr | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4093a.stderr b/testsuite/tests/indexed-types/should_fail/T4093a.stderr index efeb34a94a..8f46170339 100644 --- a/testsuite/tests/indexed-types/should_fail/T4093a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4093a.stderr @@ -1,14 +1,16 @@ T4093a.hs:8:8: error: - Could not deduce: e ~ () - from the context: Foo e ~ Maybe e - bound by the type signature for: hang :: (Foo e ~ Maybe e) => Foo e - at T4093a.hs:7:9-34 + • Could not deduce: e ~ () + from the context: Foo e ~ Maybe e + bound by the type signature for: + hang :: (Foo e ~ Maybe e) => Foo e + at T4093a.hs:7:1-34 ‘e’ is a rigid type variable bound by - the type signature for: hang :: (Foo e ~ Maybe e) => Foo e - at T4093a.hs:7:9 - Expected type: Foo e - Actual type: Maybe () - In the expression: Just () - In an equation for ‘hang’: hang = Just () - Relevant bindings include hang :: Foo e (bound at T4093a.hs:8:1) + the type signature for: + hang :: forall e. (Foo e ~ Maybe e) => Foo e + at T4093a.hs:7:9 + Expected type: Foo e + Actual type: Maybe () + • In the expression: Just () + In an equation for ‘hang’: hang = Just () + • Relevant bindings include hang :: Foo e (bound at T4093a.hs:8:1) |