Wibbles to error messages, following the fix for Trac #7851
[ghc.git] / testsuite / tests / polykinds / T7594.stderr
1
2 T7594.hs:25:11:
3     Couldn't match type ‛b’ with ‛IO ()’
4       ‛b’ is untouchable
5         inside the constraints ((:&:) Show Real a)
6         bound by a type expected by the context:
7                    (:&:) Show Real a => a -> b
8         at T7594.hs:25:7-17
9       ‛b’ is a rigid type variable bound by
10           the inferred type of bar :: b at T7594.hs:25:1
11     Expected type: a -> b
12       Actual type: a -> IO ()
13     Relevant bindings include bar :: b (bound at T7594.hs:25:1)
14     In the first argument of ‛app’, namely ‛print’
15     In the expression: app print q