Merge branch 'master' of http://darcs.haskell.org/testsuite
[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
16     In an equation for `bar': bar = app print q