Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T7594.stderr
index f3d42af..1b4b901 100644 (file)
@@ -1,17 +1,18 @@
-\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
+
+T7594.hs:37: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:
+                     forall a. (:&:) c0 Real a => a -> b
+          at T7594.hs:37:8-19
+      ‘b’ is a rigid type variable bound by
+        the inferred type of bar2 :: b
+        at T7594.hs:37:1-19
+      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:37:1)