Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : ghc-7.6
http://hackage.haskell.org/trac/ghc/changeset/c96a151e2e48092efe58bfb2ba11aad428480b27 >--------------------------------------------------------------- commit c96a151e2e48092efe58bfb2ba11aad428480b27 Author: Simon Peyton Jones <simo...@microsoft.com> 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# _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
