blob: 3eb958919f95601998ecd48e2a5c73442e2cf006 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
T8603.hs:33:17: error: [GHC-18872]
• Couldn't match kind ‘* -> *’ with ‘*’
When matching types
(->) [a1] :: * -> *
[a2] :: *
Expected: [a2] -> StateT s RV a0
Actual: t0 ((->) [a1]) (StateT s RV a0)
• The function ‘lift’ is applied to two value arguments,
but its type ‘([a1] -> StateT s RV a0)
-> t0 ((->) [a1]) (StateT s RV a0)’
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
T8603.hs:33:22: error: [GHC-83865]
• Couldn't match type: RV a1
with: StateT s RV a0
Expected: [a1] -> StateT s RV a0
Actual: [a1] -> RV a1
• In the first argument of ‘lift’, namely ‘uniform’
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)
|
