diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T14149.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T14149.stderr | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T14149.stderr b/testsuite/tests/typecheck/should_compile/T14149.stderr new file mode 100644 index 0000000000..b1a8d3720c --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T14149.stderr @@ -0,0 +1,6 @@ + +T14149.hs:8:5: error: + • Couldn't match representation of type ‘Int’ with that of ‘Bool’ + arising from a use of ‘coerce’ + • In the expression: coerce (k :: Int) + In an equation for ‘f’: f = coerce (k :: Int) |