PR# 3748 CAT-call: signature of STRING.subcopy
Problem Report Summary
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.0.2) Gecko/20030208 Netscape/7.02
Synopsis: CAT-call: signature of STRING.subcopy
Gobo's gelint is now used by several people at AXA Rosenberg in order to check our code. I already implemented some CAT-call reporting mechanism in gelint. It is not complete yet, but when run on the code of gelint itself it reported only one CAT-call error. I don't use ANY.is_equal and the like that often in Gobo, so that probably explains the small number of errors reported. Anyway, the error is due to the fact that I call `subcopy' in a descendant of STRING with a STRING as argument. But this CAT-call could be easily avoided if the signature of `subcopy' in STRING was STRING instead of 'like Current'. Is there a reason why the argument is not of type STRING, and if not, can it be changed to STRING in order to remove this source of CAT-call? Thank you.