Deduplicate `HaskellMachRegs.h` and `RtsMachRegs.h` headers
[ghc.git] / testsuite / tests / typecheck / should_fail / T8603.stderr
1
2 T8603.hs:33:17: error:
3     • Couldn't match type ‘RV a1’ with ‘StateT s RV a0’
4       Expected type: [a2] -> StateT s RV a0
5         Actual type: t0 ((->) [a1]) (RV a1)
6     • The function ‘lift’ is applied to two arguments,
7       but its type ‘([a1] -> RV a1) -> t0 ((->) [a1]) (RV a1)’
8       has only one
9       In a stmt of a 'do' block: prize <- lift uniform [1, 2, 3]
10       In the expression:
11         do prize <- lift uniform [1, 2, ....]
12            return False
13     • Relevant bindings include
14         testRVState1 :: RVState s Bool (bound at T8603.hs:32:1)