Update T7594 properly
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 6 Jan 2014 10:50:08 +0000 (10:50 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 6 Jan 2014 10:50:08 +0000 (10:50 +0000)
The previous updates had the line numbers wrong.

testsuite/tests/polykinds/T7594.stderr

index 80d39f1..08bc36e 100644 (file)
@@ -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