Kontrola typů: Příklad 2/3
46/69
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     
          }