XGitUrl: https://git.haskell.org/ghc.git/blobdiff_plain/b0cdb9b3b6c61463241093161a5b6cf6144e7348..15b9bf4ba4ab47e6809bf2b3b36ec16e502aea72:/testsuite/tests/polykinds/T7594.stderr
diff git a/testsuite/tests/polykinds/T7594.stderr b/testsuite/tests/polykinds/T7594.stderr
index 80d39f1..f3d42af 100644
 a/testsuite/tests/polykinds/T7594.stderr
+++ b/testsuite/tests/polykinds/T7594.stderr
@@ 1,14 +1,17 @@

T7594.hs:32: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:819
 âbâ is a rigid type variable bound by
 the inferred type of bar2 :: b at T7594.hs:32:1
 Expected type: a > b
 Actual type: a > IO ()
 Relevant bindings include bar2 :: b (bound at T7594.hs:32:1)
 In the first argument of âappâ, namely âprintâ
 In the expression: app print q2
+
+T7594.hs:35:12: error:
+ â¢ 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:35:819
+ âbâ is a rigid type variable bound by
+ the inferred type of bar2 :: b at T7594.hs:35:119
+ Possible fix: add a type signature for âbar2â
+ Expected type: a > b
+ Actual type: a > IO ()
+ â¢ In the first argument of âappâ, namely âprintâ
+ In the expression: app print q2
+ In an equation for âbar2â: bar2 = app print q2
+ â¢ Relevant bindings include bar2 :: b (bound at T7594.hs:35:1)