Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T7594.stderr
index 3ee902a..1b4b901 100644 (file)
@@ -1,15 +1,18 @@
 
-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:33:8-19
+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:33: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:33:1)
+        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)