[commit: testsuite] master: GHC now treats ((->) t1 t2) just like (t1 -> t2), so we need to obfuscate this test a bit (27417c8)
Simon Peyton Jones <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/27417c8ccafe2d6a0f6ce1ae16e60086c719736e >--------------------------------------------------------------- commit 27417c8ccafe2d6a0f6ce1ae16e60086c719736e Author: Simon Peyton Jones <[email protected]> Date: Fri Oct 12 13:41:08 2012 +0100 GHC now treats ((->) t1 t2) just like (t1 -> t2), so we need to obfuscate this test a bit >--------------------------------------------------------------- tests/typecheck/should_compile/tc167.hs | 2 +- tests/typecheck/should_compile/tc167.stderr | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/typecheck/should_compile/tc167.hs b/tests/typecheck/should_compile/tc167.hs index 7a9f410..b317763 100644 --- a/tests/typecheck/should_compile/tc167.hs +++ b/tests/typecheck/should_compile/tc167.hs @@ -5,7 +5,7 @@ module ShouldSucceed where import GHC.Base -f :: (->) Int# Int# +f :: ((->) Int#) Int# f x = x diff --git a/tests/typecheck/should_compile/tc167.stderr b/tests/typecheck/should_compile/tc167.stderr index 8f98cca..7790d22 100644 --- a/tests/typecheck/should_compile/tc167.stderr +++ b/tests/typecheck/should_compile/tc167.stderr @@ -1,4 +1,4 @@ -tc167.hs:8:11: +tc167.hs:8:12: Expecting a lifted type, but `Int#' is unlifted - In the type signature for `f': f :: (->) Int# Int# + In the type signature for `f': f :: ((->) Int#) Int#