blob: 4776253f5238c213c5ddaecfad33487c638fe654 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T8603.hs:33:17: error:
• Couldn't match type: RV a1
with: StateT s RV a0
Expected: [a2] -> StateT s RV a0
Actual: t0 ((->) [a1]) (RV a1)
• The function ‘lift’ is applied to two value arguments,
but its type ‘([a1] -> RV a1) -> t0 ((->) [a1]) (RV a1)’
has only one
In a stmt of a 'do' block: prize <- lift uniform [1, 2, 3]
In the expression:
do prize <- lift uniform [1, 2, ....]
return False
• Relevant bindings include
testRVState1 :: RVState s Bool (bound at T8603.hs:32:1)
|
