Difference between revisions of "New CAT call"

m (Introcution)
m (Introcution)
Line 28: Line 28:
 
</code>
 
</code>
 
|}
 
|}
 +
 +
This wiki discusses some of concerns related to this solution.

Revision as of 12:13, 27 October 2006

Introcution

The ECMA standard introduces a new solution to the CAT call problem. Covariant redefinition of a formal argument is only possible to a detatchable type:

class A
feature
   f (a: ANY) do end
end
class B1
inherit A redefine f end
feature
   f (a: STRING) do end   -- not valid
end
class B2
inherit A redefine f end
feature
   f (a: ?STRING) do end   -- valid
end

This wiki discusses some of concerns related to this solution.