> What if I have two functions: > (type1) f(type2) > (type4) f(type5) > ? Wouldn't the second definition overwrite the first ? In effect only the second one would be valid unless ofcourse the checks for redefinition of procedures has gone into trunk and made this illegal. Or , did you mean something else ? -- Thanks and Regards, Yadu Nand B