BBardin@ADA20.ISI.EDU (John Prentice) (10/16/86)
I know this subject may be getting a bit old, but I would like to take exception to the position that the '*' operator defined in Standard represents an exception to the rule (ARM 3.3.3(2)) defining the location of the declaration of predefined operators. Given: 1 procedure Not_Immediately_After is 2 type F1 is delta 1.016 range 0.0 .. 1_000.0; 3 type F2 is delta 2#0.1#E-3 range 0.0 .. 1_000.0; 4 X : F1 := 1.0; 5 Y : F2 := 2.0; 6 begin 7 X := F1 (Standard."*"(X,Y)); 8 end Not_Immediately_After; The assertion seemed to be that the operator '*' referenced on line 7 is a predefined operator for type F1 or F2 (or both). If this were true, then clearly we have an exception to the rule for predefined operators since F1 and f2 are both defined in 'Not_Immediately_After' while the operator '*' is defined in Standard (and hence the legality of the reference to 'Standard."*"'). I think the correct interpretation of this situation is that the operator refereced on line 7 was not predefined for type F1 or F2, but is predefined for the type 'universal_fixed' which is declared in Standard (ARM C-3(11)): -- The type 'universal_integer' is predefined. The only operators -- declared for this type are: -- function "*" (Left : 'any_fixed_point_type'; Right : 'any_fixed_point_type') -- return 'universal_fixed'; Thus the declaration of the predefined operator '*' does indeed follow immediately after the declaration of the type. The anomaly here is that the function '*' seems to be a polymorphic function--it accepts arguments of (potentially) many different types. Now I have a question: What is the rational for having this single polymorphic function in a language as strongly typed as Ada? Could the ARM read: -- function "*" (Left : 'universal_fixed'; Right : 'universal_fixed') -- return 'universal_fixed'; and state that a call to this function with any fixed point type would result in an implicit conversion of that type to 'universal_fixed'? The implicit conversion would seem to me to be less inconsistent than a polymorphic function. John Prentice, Hughes Aircraft -------