Kontrola typů: Příklad 3/3
47/69
Pravidlo: Ti ® Tj*Fk { if Tj .type = Fk.type then begin     Ti.type := Tj.type
    generate(*, Tj .loc, Fk.loc, Ti .loc)
        end
        else begin
    generate(new.loc, h, ,  )
    if Tj .type = int then begin
        generate(int-to-real, Tj .loc , , h)
        generate(*, h, Fk.loc, Ti .loc)
    end
    else begin
        generate(int-to-real, Fk.loc , , h)
        generate(*, Tj .loc, h, Ti .loc)
    end
    Ti.type := real
            end     
          }