diff options
Diffstat (limited to 'testsuite/tests/rebindable/DoParamM.stderr')
| -rw-r--r-- | testsuite/tests/rebindable/DoParamM.stderr | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/testsuite/tests/rebindable/DoParamM.stderr b/testsuite/tests/rebindable/DoParamM.stderr index 7c095445e1..09d2370737 100644 --- a/testsuite/tests/rebindable/DoParamM.stderr +++ b/testsuite/tests/rebindable/DoParamM.stderr @@ -6,20 +6,29 @@ DoParamM.hs:146:25: In a stmt of a 'do' block: return (v == v') DoParamM.hs:286:28: - Couldn't match expected type `Locked' with actual type `Unlocked' - Expected type: LIO Locked r0 b0 + Couldn't match type `Unlocked' with `Locked' + Expected type: LIO Locked Locked () Actual type: LIO Unlocked Locked () In a stmt of a 'do' block: tlock2_do In the expression: do { tlock2_do; tlock2_do } + In an equation for `tlock4_do': + tlock4_do + = do { tlock2_do; + tlock2_do } DoParamM.hs:302:37: - Couldn't match expected type `Unlocked' with actual type `Locked' - Expected type: LIO Unlocked r0 b0 + Couldn't match type `Locked' with `Unlocked' + Expected type: LIO Unlocked Unlocked () Actual type: LIO Locked Unlocked () In a stmt of a 'do' block: unlock In the expression: do { tlock2_do; unlock; unlock } + In an equation for `tlock4'_do': + tlock4'_do + = do { tlock2_do; + unlock; + unlock } |