diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T10715b.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T10715b.stderr | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T10715b.stderr b/testsuite/tests/typecheck/should_fail/T10715b.stderr index 99875bbcf5..6eb2f698bd 100644 --- a/testsuite/tests/typecheck/should_fail/T10715b.stderr +++ b/testsuite/tests/typecheck/should_fail/T10715b.stderr @@ -1,12 +1,9 @@ T10715b.hs:7:7: error: - • Couldn't match representation of type ‘b’ with that of ‘[b]’ + • Couldn't match representation of type ‘b0’ with that of ‘[b0]’ arising from a use of ‘coerce’ - ‘b’ is a rigid type variable bound by - the inferred type of foo :: [b] -> b - at T10715b.hs:7:1-28 • In the first argument of ‘asTypeOf’, namely ‘coerce’ In the expression: coerce `asTypeOf` head In an equation for ‘foo’: foo = coerce `asTypeOf` head • Relevant bindings include - foo :: [b] -> b (bound at T10715b.hs:7:1) + foo :: [b0] -> b0 (bound at T10715b.hs:7:1) |