diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T8603.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T8603.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T8603.stderr b/testsuite/tests/typecheck/should_fail/T8603.stderr index 53d4e422cb..baf3264734 100644 --- a/testsuite/tests/typecheck/should_fail/T8603.stderr +++ b/testsuite/tests/typecheck/should_fail/T8603.stderr @@ -5,11 +5,11 @@ T8603.hs:13:10: error: • In the instance declaration for ‘Monad RV’ T8603.hs:29:17: error: - • Couldn't match type ‘RV a0’ with ‘StateT s RV t0’ - Expected type: [Integer] -> StateT s RV t0 - Actual type: (->) ((->) [a0]) (RV a0) + • Couldn't match type ‘RV a1’ with ‘StateT s RV a0’ + Expected type: [Integer] -> StateT s RV a0 + Actual type: (->) ((->) [a1]) (RV a1) • The function ‘lift’ is applied to two arguments, - but its type ‘([a0] -> RV a0) -> (->) ((->) [a0]) (RV a0)’ + but its type ‘([a1] -> RV a1) -> (->) ((->) [a1]) (RV a1)’ has only one In a stmt of a 'do' block: prize <- lift uniform [1, 2, 3] In the expression: |