New CAT call: Difference between revisions
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
====Introcution==== | ====Introcution==== | ||
The ECMA standard introduces a new solution to the CAT call problem. Covariant redefinition of a formal argument is only possible to | 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: | ||
{|border="0" cellpadding="2" cellspacing="0" align="center" | {|border="0" cellpadding="2" cellspacing="0" align="center" | ||
Revision as of 20:12, 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 |