Fold ghc-prim.git into ghc.git (re #8545)
[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     Possible fix: add a type signature for ‘bar2’
11     Expected type: a -> b
12       Actual type: a -> IO ()
13     Relevant bindings include bar2 :: b (bound at T7594.hs:33:1)
14     In the first argument of ‘app’, namely ‘print’
15     In the expression: app print q2