Sémantická analýza: Kontrola typů
44/69
id
E
op
1)
Akce:  
E.type := id.type
E
2)
E1
E2
Pravidlo:
Pravidlo:
Operace op je definována nad typy:
t1 op t2 ® t3
Akce:
if (E1.type = t1 nebo
E1.type je převeditelný na t1)
and
(E2.type = t2 nebo
E2.type je převeditelný na t2)
then
E.type := t3
else
Semantic Error.