[commit: testsuite] master: Update test now that undefined has an OpenKind forall (6a0c94f)
Simon Peyton Jones
simonpj at microsoft.com
Wed May 15 15:15:29 CEST 2013
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
On branch : master
https://github.com/ghc/testsuite/commit/6a0c94f60dbbfb729b9b852da724b9f321f1a856
>---------------------------------------------------------------
commit 6a0c94f60dbbfb729b9b852da724b9f321f1a856
Author: Simon Peyton Jones <simonpj at microsoft.com>
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
More information about the ghc-commits
mailing list