Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
https://github.com/ghc/testsuite/commit/f29f98001decba542c70abaafa2752e39dd94dd3 >--------------------------------------------------------------- commit f29f98001decba542c70abaafa2752e39dd94dd3 Author: Simon Peyton Jones <[email protected]> Date: Wed May 15 14:08:32 2013 +0100 Update test for application of (->) to Int# >--------------------------------------------------------------- tests/typecheck/should_compile/tc167.hs | 4 +--- tests/typecheck/should_compile/tc167.stderr | 5 +++-- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/tests/typecheck/should_compile/tc167.hs b/tests/typecheck/should_compile/tc167.hs index cadb1a7..ffce691 100644 --- a/tests/typecheck/should_compile/tc167.hs +++ b/tests/typecheck/should_compile/tc167.hs @@ -5,9 +5,7 @@ module ShouldSucceed where import GHC.Base -f :: ((->) Int#) Int# -f x = x - +type T = (->) Int# -- Here's the comment from TypeRep: -- diff --git a/tests/typecheck/should_compile/tc167.stderr b/tests/typecheck/should_compile/tc167.stderr index 51c982a..32d0c80 100644 --- a/tests/typecheck/should_compile/tc167.stderr +++ b/tests/typecheck/should_compile/tc167.stderr @@ -1,4 +1,5 @@ -tc167.hs:8:12: +tc167.hs:8:15: Expecting a lifted type, but âInt#â is unlifted - In the type signature for âfâ: f :: ((->) Int#) Int# + In the type â(->) Int#â + In the type declaration for âTâ
_______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
