blob: c813a65e8cc64e79b9001bf59d6574f7bcc6ab19 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
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
In an equation for ‛bar’: bar = app print q
|
