Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T7594.stderr
index 3ea08a3..1b4b901 100644 (file)
@@ -1,17 +1,18 @@
 
-T7594.hs:35:12: error:
+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:35:8-19
+          at T7594.hs:37:8-19
       ‘b’ is a rigid type variable bound by
-        the inferred type of bar2 :: b at T7594.hs:35:1-19
+        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:35:1)
+    • Relevant bindings include bar2 :: b (bound at T7594.hs:37:1)