Update T7594 properly
[ghc.git] / testsuite / tests / polykinds / T7594.stderr
1
2 T7594.hs:33:12:
3     Couldn't match type ‛b’ with ‛IO ()’
4       ‛b’ is untouchable
5         inside the constraints ((:&:) c0 Real a)
6         bound by a type expected by the context: (:&:) c0 Real a => a -> b
7         at T7594.hs:33:8-19
8       ‛b’ is a rigid type variable bound by
9           the inferred type of bar2 :: b at T7594.hs:33:1
10     Expected type: a -> b
11       Actual type: a -> IO ()
12     Relevant bindings include bar2 :: b (bound at T7594.hs:33:1)
13     In the first argument of ‛app’, namely ‛print’
14     In the expression: app print q2