blob: fcb1b8828b6973284aa4073b9a8ea3be9eafdc50 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T8603.hs:33:17: error: [GHC-18872]
• Couldn't match kind ‘* -> *’ with ‘*’
When matching types
m0 :: * -> *
[a2] :: *
Expected: [a2] -> StateT s RV a0
Actual: t0 m0 (StateT s RV a0)
• The function ‘lift’ is applied to two value arguments,
but its type ‘m0 (StateT s RV a0) -> t0 m0 (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
|
