Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
https://github.com/ghc/testsuite/commit/6a0c94f60dbbfb729b9b852da724b9f321f1a856 >--------------------------------------------------------------- commit 6a0c94f60dbbfb729b9b852da724b9f321f1a856 Author: Simon Peyton Jones <[email protected]> Date: Wed May 15 10:20:22 2013 +0100 Update test now that undefined has an OpenKind forall >--------------------------------------------------------------- tests/typecheck/should_fail/tcfail090.hs | 5 ++++- tests/typecheck/should_fail/tcfail090.stderr | 6 +++--- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/tests/typecheck/should_fail/tcfail090.hs b/tests/typecheck/should_fail/tcfail090.hs index 93a9e9e..3204ad1 100644 --- a/tests/typecheck/should_fail/tcfail090.hs +++ b/tests/typecheck/should_fail/tcfail090.hs @@ -4,5 +4,8 @@ module ShouldFail where import GHC.Base +my_undefined :: a -- This one has kind *, not OpenKind +my_undefined = undefined + die :: Int -> ByteArray# -die _ = undefined +die _ = my_undefined diff --git a/tests/typecheck/should_fail/tcfail090.stderr b/tests/typecheck/should_fail/tcfail090.stderr index 1c43e12..1b93cba 100644 --- a/tests/typecheck/should_fail/tcfail090.stderr +++ b/tests/typecheck/should_fail/tcfail090.stderr @@ -1,7 +1,7 @@ -tcfail090.hs:8:9: +tcfail090.hs:11:9: Kind incompatibility when matching types: a0 :: * ByteArray# :: # - In the expression: undefined - In an equation for âdieâ: die _ = undefined + In the expression: my_undefined + In an equation for âdieâ: die _ = my_undefined
_______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
