blob: d9b4538a17cc79b476f1a9ec8c1395f3ddba6571 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
tcfail179.hs:14:37:
Couldn't match type `x' with `s'
`x' is a rigid type variable bound by
a pattern with constructor
T :: forall s x. (s -> (x -> s) -> (x, s, Int)) -> T s,
in a case alternative
at tcfail179.hs:14:14
`s' is a rigid type variable bound by
the type signature for run :: T s -> Int at tcfail179.hs:13:1
Expected type: (s, s, Int)
Actual type: (x, s, Int)
In the return type of a call of `g'
In the expression: g x id
|