testsuite/tests/rebindable/DoParamM.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25


DoParamM.hs:146:25:
    Couldn't match expected type `Int' with actual type `Char'
    In the second argument of `(==)', namely v'
    In the first argument of `return', namely `(v == v')'
    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
      Actual type: LIO Unlocked Locked ()
    In a stmt of a 'do' block: tlock2_do
    In the expression:
      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
      Actual type: LIO Locked Unlocked ()
    In a stmt of a 'do' block: unlock
    In the expression:
      do { tlock2_do;
           unlock;
           unlock }