blob: 64d0fa2f8cbd7b5be4b887aab96a4d140faf2fce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T7594.hs:25:11:
Couldn't match type ‛b’ with ‛IO ()’
‛b’ is untouchable
inside the constraints ((:&:) Show Real a)
bound by a type expected by the context:
(:&:) Show Real a => a -> b
at T7594.hs:25:7-17
‛b’ is a rigid type variable bound by
the inferred type of bar :: b at T7594.hs:25:1
Expected type: a -> b
Actual type: a -> IO ()
Relevant bindings include bar :: b (bound at T7594.hs:25:1)
In the first argument of ‛app’, namely ‛print’
In the expression: app print q
|