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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
|
Verification of prog0.chalice using parameters=""
The program did not typecheck.
3.17: undeclared member a in class C
3.37: undeclared member a in class C
3.41: undeclared member a in class C
3.12: assert statement requires a boolean expression (found int)
4.5: undeclared member a in class C
4.10: undeclared member a in class C
5.5: undeclared member b in class C
5.10: undeclared member a in class C
5.14: undeclared member b in class C
5.18: undeclared member c in class C
5.26: undeclared member d in class C
6.5: undeclared member b in class C
6.14: undeclared member a in class C
6.18: undeclared member b in class C
6.23: undeclared member c in class C
6.32: undeclared member d in class C
7.5: undeclared member c in class C
7.10: undeclared member a in class C
7.15: undeclared member b in class C
7.20: undeclared member c in class C
7.29: undeclared member d in class C
8.13: undeclared member X in class C
8.19: undeclared member Y in class C
8.13: incorrect type of ==> LHS (expected bool, found int)
8.19: incorrect type of ==> RHS (expected bool, found int)
8.26: undeclared member Z in class C
8.26: incorrect type of ==> RHS (expected bool, found int)
8.33: undeclared member A in class C
8.39: undeclared member B in class C
8.45: undeclared member C in class C
8.39: incorrect type of ==> LHS (expected bool, found int)
8.45: incorrect type of ==> RHS (expected bool, found int)
8.33: incorrect type of ==> LHS (expected bool, found int)
9.12: undeclared member A in class C
9.17: undeclared member B in class C
9.12: incorrect type of && LHS (expected bool, found int)
9.17: incorrect type of && RHS (expected bool, found int)
9.23: undeclared member C in class C
9.28: undeclared member D in class C
9.23: incorrect type of || LHS (expected bool, found int)
9.28: incorrect type of || RHS (expected bool, found int)
9.33: undeclared member E in class C
9.33: incorrect type of || RHS (expected bool, found int)
9.39: undeclared member F in class C
9.39: incorrect type of && RHS (expected bool, found int)
11.21: undeclared member f in class int
11.21: undeclared member g in class int
11.21: undeclared member h in class int
<undefined position>: not-expression requires boolean operand
<undefined position>: incorrect type of + RHS (expected int, found bool)
11.33: not-expression requires boolean operand
11.33: undeclared member f in class bool
11.43: undeclared member f in class int
11.42: not-expression requires boolean operand
11.42: incorrect type of + RHS (expected int, found bool)
13.5: type mismatch in assignment, lhs=int rhs=D
14.5: undeclared member o in class C
14.5: undeclared member f in class int
15.6: undeclared member a in class C
15.10: undeclared member b in class C
15.5: undeclared member y in class int
15.18: undefined class or channel T used in new expression
16.19: undeclared member O in class C
16.14: == requires operands of the same type, found int and bool
16.31: undeclared member O in class C
16.13: != requires operands of the same type, found bool and int
16.13: object in reorder statement must be of a reference type (found bool)
16.41: undeclared member a in class C
16.41: install bound must be of a reference type or Mu type (found int)
16.43: undeclared member b in class C
16.43: install bound must be of a reference type or Mu type (found int)
16.45: undeclared member c in class C
16.45: install bound must be of a reference type or Mu type (found int)
16.51: install bound must be of a reference type or Mu type (found int)
16.53: install bound must be of a reference type or Mu type (found int)
17.13: undeclared member X in class C
17.19: undeclared member Y in class C
17.13: incorrect type of ==> LHS (expected bool, found int)
17.19: incorrect type of ==> RHS (expected bool, found int)
17.13: object in reorder statement must be of a reference type (found bool)
17.27: install bound must be of a reference type or Mu type (found int)
18.13: undeclared member o in class C
18.13: undeclared member f in class int
18.13: object in reorder statement must be of a reference type (found int)
19.11: undeclared member o in class C
19.11: object in share statement must be of a reference type (found int)
20.13: undeclared member o in class C
20.13: object in unshare statement must be of a reference type (found int)
21.13: undeclared member o in class C
21.13: object in acquire statement must be of a reference type (found int)
22.13: undeclared member o in class C
22.13: object in release statement must be of a reference type (found int)
23.16: undeclared member o in class C
23.16: object in rd acquire statement must be of a reference type (found int)
24.16: undeclared member o in class C
24.16: object in rd release statement must be of a reference type (found int)
25.15: undeclared member o in class C
25.15: object in downgrade statement must be of a reference type (found int)
27.17: undeclared member o in class C
27.5: call of undeclared member m in class int
27.10: wrong token type
29.12: rd expression is allowed only in positive predicate contexts
29.15: undeclared member x in class C
29.20: acc expression is allowed only in positive predicate contexts
29.24: undeclared member y in class C
29.12: incorrect type of + LHS (expected int, found bool)
29.20: incorrect type of + RHS (expected int, found bool)
29.29: acc expression is allowed only in positive predicate contexts
29.33: undeclared member z in class C
29.29: incorrect type of + RHS (expected int, found bool)
29.51: undeclared member k in class C
29.57: undeclared member f in class null
29.12: assert statement requires a boolean expression (found int)
30.10: undeclared member f in class C
31.5: wrong number of actual in-parameters in call to C.m (3 instead of 0)
32.5: wrong number of actual in-parameters in call to C.m (3 instead of 0)
33.19: undeclared member o in class C
33.5: call of undeclared member m in class int
34.5: wrong number of actual in-parameters in call to C.m (1 instead of 0)
34.5: wrong number of actual out-parameters in call to C.m (1 instead of 0)
35.13: undeclared member o in class C
35.13: object in reorder statement must be of a reference type (found int)
58.17: undeclared member sqrt2 in class C
58.25: undeclared member sqrt2 in class C
62.17: undeclared member s in class C
62.5: call of undeclared member M in class int
82.5: call of undeclared member MyMethodX in class ImplicitC
83.12: undefined local variable a
83.16: undefined local variable b
83.16: undeclared member k in class int
88.13: the type of the formal argument is not assignable to the actual parameter (expected: ImplicitC, found: int)
88.13: duplicate actual out-parameter: a
89.16: undeclared member b in class ImplicitC
89.16: undeclared member k in class int
96.21: undeclared member chX in class ImplicitC
96.5: receive expression (which has type int) does not denote a channel
97.12: undefined local variable a
97.16: undefined local variable b
97.16: undeclared member k in class int
104.16: the type of the formal argument is not assignable to the actual parameter (expected: ImplicitC, found: int)
104.16: duplicate actual out-parameter: a
105.16: undeclared member b in class ImplicitC
105.16: undeclared member k in class int
|
