diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail123.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail123.stderr | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail123.stderr b/testsuite/tests/typecheck/should_fail/tcfail123.stderr index 1fcb62d1a3..1bc0246817 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail123.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail123.stderr @@ -1,8 +1,9 @@ -
-tcfail123.hs:11:9:
- Kind incompatibility when matching types:
- t0 :: *
- GHC.Prim.Int# :: #
- In the first argument of ‘f’, namely ‘3#’
- In the expression: f 3#
- In an equation for ‘h’: h v = f 3#
+ +tcfail123.hs:11:9: + Couldn't match kind ‘*’ with ‘#’ + When matching types + t0 :: * + GHC.Prim.Int# :: # + In the first argument of ‘f’, namely ‘3#’ + In the expression: f 3# + In an equation for ‘h’: h v = f 3# |