blob: 8d3764067e21fee76ba8cea0d1fd0acb6bff2976 (
plain)
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
26
27
28
29
30
31
32
33
34
|
DoParamM.hs:146:25: error:
• 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: error:
• 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: error:
• 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
|
