Pravidlo: Ei ® Ej+Tk {
if Ej .type
= Tk.type
then begin Ei.type
:= Ej.type
generate(+, Ej .loc,
Tk.loc, Ei .loc)
end
else begin
generate(new.loc, h, , )
if
Ej .type = int then begin
generate(int-to-real,
Ej .loc , , h)
generate(+, h, Tk.loc, Ei .loc)
end
else
begin
generate(int-to-real,
Tk.loc , , h)
generate(+, Ej .loc,
h, Ei .loc)
end
Ei.type := real
end
}