jos@cs.vu.nl (Jos Warmer) (02/05/90)
In article <1990Jan30.132802.15815@isy.liu.se> nicwi@isy.liu.se ( Niclas Wiberg) writes: >I think I have discovered a problem concerning the Create routine. >Perhaps this would have been fixed in the coming release, but still >I believe it is worth mentioning: > >The problem arises because you are allowed to redefine the Create >routine (in a descendant class) with no concern of conformance >rules. Consider the classes PARENT and CHILD: You are right, this a a known `hole' in the eiffel type system. It happens also with other routines than Create. >As far as I can see, there is nothing illegal in the example >above, although it is very "constructed". Or am I wrong? I have not seen the solution yet, although one will have to come This example might look very constructed, but I ran into it during normal program development. So it gives real problems. Jos Warmer jos@cs.vu.nl ...uunet!mcvax!cs.vu.nl!jos -- Jos Warmer jos@cs.vu.nl ...uunet!mcvax!cs.vu.nl!jos