From: Eric B. <er...@go...> - 2005-11-07 09:54:17
|
Hello, I noticed that (most) features from BOOLEAN_REF returns a BOOLEAN (not a 'like Current') and likewise for CHARACTER_REF, whereas features from INTEGER_REF (apart from `infix "/"') returns a 'like Current' and not an INTEGER. I understand that the reason for that is that these features come from NUMERIC. Now consider the day where INTEGER will conform to NUMERIC, wouldn't it we better to have: infix "+" (other: like Current): INTEGER instead of: infix "+" (other: like Current): like Current This is not possible now because in feature redeclaration we need conformance of the signature (conversion is not enough), but when we will have INTEGER conforming to NUMERIC this will be possible. That way, the implementation of these features in INTEGER_REF will not need to explicitly create an INTEGER_REF. All this type mismatch will be automatically dealt with by the compiler and the runtime. Just food for thoughts. -- Eric Bezault mailto:er...@go... http://www.gobosoft.com |