[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