d87bd635c4851acaa0c5b5249c2fb59da679edf9
[ghc.git] / testsuite / tests / typecheck / should_fail / T8603.stderr
1
2 T8603.hs:13:10: error:
3     • No instance for (Applicative RV)
4         arising from the superclasses of an instance declaration
5     • In the instance declaration for ‘Monad RV’
6
7 T8603.hs:29:17: error:
8     • Couldn't match type ‘RV a1’ with ‘StateT s RV a0’
9       Expected type: [Integer] -> StateT s RV a0
10         Actual type: (->) ((->) [a1]) (RV a1)
11     • The function ‘lift’ is applied to two arguments,
12       but its type ‘([a1] -> RV a1) -> (->) ((->) [a1]) (RV a1)’
13       has only one
14       In a stmt of a 'do' block: prize <- lift uniform [1, 2, 3]
15       In the expression:
16         do prize <- lift uniform [1, 2, ....]
17            return False
18     • Relevant bindings include
19         testRVState1 :: RVState s Bool (bound at T8603.hs:28:1)