Talk:Catcall checkpoints

Revision as of 00:54, 3 July 2007 by Peter gummer (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

--Peter gummer 10:54, 3 July 2007 (CEST) It is annoying that, in order to solve the catcall problem, we have to forbid polymorphic assignments like list_of_any := list_of_string. Yes, we don't want integers poked into list_of_any when it's attached to a list of strings; but usually when we perform such assignments it's so that we can use the list in a read-only fashion. I would prefer to allow such assignments, if and only if the entity on the left is declared read-only. Uh oh, now I've gone and raised the old question, "C++ has const so why doesn't Eiffel?"