equal
deleted
inserted
replaced
12 !TTypechecker methodsFor:'visitor-double dispatching'! |
12 !TTypechecker methodsFor:'visitor-double dispatching'! |
13 |
13 |
14 acceptIfTrueIfFalseNode: node |
14 acceptIfTrueIfFalseNode: node |
15 | receiverType booleanType | |
15 | receiverType booleanType | |
16 |
16 |
17 receiverType := node binding type. |
17 receiverType := node receiver binding type. |
18 booleanType := context environment binding lookupClassBoolean. |
18 booleanType := context environment binding lookupClassBoolean type. |
19 |
19 |
20 receiverType = booleanType ifFalse:[ |
20 receiverType = booleanType ifFalse:[ |
21 context reportTypeError: 'receiver of ifTrue:ifFalse: special form must be of type tBoolean (is ' , receiverType printString. |
21 context reportTypeError: 'receiver of ifTrue:ifFalse: special form must be of type tBoolean (is ' , receiverType printString. |
22 ]. |
22 ]. |
23 |
23 |
24 "Created: / 14-09-2015 / 14:24:50 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
24 "Created: / 14-09-2015 / 14:24:50 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
|
25 "Modified: / 15-09-2015 / 08:29:13 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
25 ! |
26 ! |
26 |
27 |
27 acceptIfTrueNode: node |
28 acceptIfTrueNode: node |
28 | receiverType booleanType | |
29 | receiverType booleanType | |
29 |
30 |