blob: 925e80f7fcb43d2037230a5ea9cdfbeef8479fc3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T3102.hs:11:12: error:
Couldn't match type ‘a’ with ‘(?p::Int) => a0’
‘a’ is a rigid type variable bound by
a type expected by the context:
forall a. a -> String
at T3102.hs:11:10
Expected type: a -> String
Actual type: ((?p::Int) => a0) -> String
In the first argument of ‘f’, namely ‘t’
In the expression: f t
|