Improve typechecking of let-bindings
[ghc.git] / testsuite / tests / polykinds / T7594.stderr
index c813a65..f3d42af 100644 (file)
@@ -1,16 +1,17 @@
-
-T7594.hs:25:11:
-    Couldn't match type ‛b’ with ‛IO ()’
-      ‛b’ is untouchable
-        inside the constraints ((:&:) Show Real a)
-        bound by a type expected by the context:
-                   (:&:) Show Real a => a -> b
-        at T7594.hs:25:7-17
-      ‛b’ is a rigid type variable bound by
-          the inferred type of bar :: b at T7594.hs:25:1
-    Expected type: a -> b
-      Actual type: a -> IO ()
-    Relevant bindings include bar :: b (bound at T7594.hs:25:1)
-    In the first argument of ‛app’, namely ‛print’
-    In the expression: app print q
-    In an equation for ‛bar’: bar = app print q
+\r
+T7594.hs:35:12: error:\r
+    • Couldn't match type ‘b’ with ‘IO ()’\r
+        ‘b’ is untouchable\r
+          inside the constraints: (:&:) c0 Real a\r
+          bound by a type expected by the context:\r
+                     (:&:) c0 Real a => a -> b\r
+          at T7594.hs:35:8-19\r
+      ‘b’ is a rigid type variable bound by\r
+        the inferred type of bar2 :: b at T7594.hs:35:1-19\r
+      Possible fix: add a type signature for ‘bar2’\r
+      Expected type: a -> b\r
+        Actual type: a -> IO ()\r
+    • In the first argument of ‘app’, namely ‘print’\r
+      In the expression: app print q2\r
+      In an equation for ‘bar2’: bar2 = app print q2\r
+    • Relevant bindings include bar2 :: b (bound at T7594.hs:35:1)\r