diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T5570.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T5570.stderr | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T5570.stderr b/testsuite/tests/typecheck/should_fail/T5570.stderr index 45cdfd5679..8c4ace5173 100644 --- a/testsuite/tests/typecheck/should_fail/T5570.stderr +++ b/testsuite/tests/typecheck/should_fail/T5570.stderr @@ -1,9 +1,7 @@ T5570.hs:7:16: error: - Couldn't match kind ‘*’ with ‘#’ - When matching types - r0 :: * - Double# :: # - In the second argument of ‘($)’, namely ‘D# $ 3.0##’ - In the expression: print $ D# $ 3.0## - In an equation for ‘main’: main = print $ D# $ 3.0## + • Couldn't match a lifted type with an unlifted type + When matching the kind of ‘Double#’ + • In the second argument of ‘($)’, namely ‘D# $ 3.0##’ + In the expression: print $ D# $ 3.0## + In an equation for ‘main’: main = print $ D# $ 3.0## |