[commit: testsuite] master: Update test for application of (->) to Int# (f29f980)

Simon Peyton Jones simonpj at microsoft.com
Wed May 15 15:15:44 CEST 2013


Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

https://github.com/ghc/testsuite/commit/f29f98001decba542c70abaafa2752e39dd94dd3

>---------------------------------------------------------------

commit f29f98001decba542c70abaafa2752e39dd94dd3
Author: Simon Peyton Jones <simonpj at microsoft.com>
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’





More information about the ghc-commits mailing list