diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T9109.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T9109.stderr | 27 |
1 files changed, 14 insertions, 13 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T9109.stderr b/testsuite/tests/typecheck/should_fail/T9109.stderr index afd77c4f81..defd77572e 100644 --- a/testsuite/tests/typecheck/should_fail/T9109.stderr +++ b/testsuite/tests/typecheck/should_fail/T9109.stderr @@ -1,14 +1,15 @@ -T9109.hs:8:13: - Couldn't match expected type ‘t’ with actual type ‘Bool’ - ‘t’ is untouchable - inside the constraints: t1 ~ Bool - bound by a pattern with constructor: GBool :: G Bool, - in an equation for ‘foo’ - at T9109.hs:8:5-9 - ‘t’ is a rigid type variable bound by - the inferred type of foo :: G t1 -> t at T9109.hs:8:1 - Possible fix: add a type signature for ‘foo’ - In the expression: True - In an equation for ‘foo’: foo GBool = True - Relevant bindings include foo :: G t1 -> t (bound at T9109.hs:8:1) +T9109.hs:8:13: error: + • Couldn't match expected type ‘r’ with actual type ‘Bool’ + ‘r’ is untouchable + inside the constraints: r1 ~ Bool + bound by a pattern with constructor: GBool :: G Bool, + in an equation for ‘foo’ + at T9109.hs:8:5-9 + ‘r’ is a rigid type variable bound by + the inferred type of foo :: G r1 -> r at T9109.hs:8:1 + Possible fix: add a type signature for ‘foo’ + • In the expression: True + In an equation for ‘foo’: foo GBool = True + • Relevant bindings include + foo :: G r1 -> r (bound at T9109.hs:8:1) |