Improve typechecking of let-bindings
[ghc.git] / testsuite / tests / polykinds / T7594.stderr
index 2f1844e..f3d42af 100644 (file)
@@ -1,16 +1,17 @@
-
-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:8-19
-      ‘b’ is a rigid type variable bound by
-        the inferred type of bar2 :: b at T7594.hs:35:1
-      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
-    • Relevant bindings include bar2 :: b (bound at T7594.hs:35:1)
+\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