Difference between revisions of "Talk:Catcall checkpoints"
Peter gummer (Talk | contribs) m |
(No difference)
|
Revision as of 00:54, 3 July 2007
--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?"
