Rule: 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
}