[commit: testsuite] master: Update T7594 properly (4affd08)
git at git.haskell.org
git at git.haskell.org
Mon Jan 6 12:00:36 UTC 2014
Repository : ssh://git@git.haskell.org/testsuite
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/4affd089fe65e036d351a3a4f54aced2b0230347/testsuite
>---------------------------------------------------------------
commit 4affd089fe65e036d351a3a4f54aced2b0230347
Author: Joachim Breitner <mail at joachim-breitner.de>
Date: Mon Jan 6 10:50:08 2014 +0000
Update T7594 properly
The previous updates had the line numbers wrong.
>---------------------------------------------------------------
4affd089fe65e036d351a3a4f54aced2b0230347
tests/polykinds/T7594.stderr | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/tests/polykinds/T7594.stderr b/tests/polykinds/T7594.stderr
index 80d39f1..08bc36e 100644
--- a/tests/polykinds/T7594.stderr
+++ b/tests/polykinds/T7594.stderr
@@ -1,14 +1,14 @@
-T7594.hs:32:12:
+T7594.hs:33:12:
Couldn't match type ‛b’ with ‛IO ()’
‛b’ is untouchable
inside the constraints ((:&:) c0 Real a)
bound by a type expected by the context: (:&:) c0 Real a => a -> b
- at T7594.hs:32:8-19
+ at T7594.hs:33:8-19
‛b’ is a rigid type variable bound by
- the inferred type of bar2 :: b at T7594.hs:32:1
+ the inferred type of bar2 :: b at T7594.hs:33:1
Expected type: a -> b
Actual type: a -> IO ()
- Relevant bindings include bar2 :: b (bound at T7594.hs:32:1)
+ Relevant bindings include bar2 :: b (bound at T7594.hs:33:1)
In the first argument of ‛app’, namely ‛print’
In the expression: app print q2
More information about the ghc-commits
mailing list