Re: Reemergence of predefined equality operator...

[Dale Stanbrough <dstanbro@bigpond.net.au>]

Robert A Duff wrote:

> For "=", this seems "obviously" wrong.  But as I pointed out elsewhere,
> the situation for other operators (eg, "mod"), is not so obvious.
> Even if the language were changed, or even if Text_IO.Integer_IO took
> "mod" as an "is <>" parameter as above, it's not clear (to me) what the
> right answer is.

Wouldn't it be appropriate for Text_IO.Integer_IO, if it wants to be
sure of the mod operator it is using, to simply specify it?

E.g.
   
   procedure put (item : natural) is
      zero_char : constant := character'pos ('0');
   begin
      if item < 10 then
         put (character'val (item + zero_char));
      else
         put (item / 10);
         put (Standard."mod" (item, 10));
      end if;
   end;


That way if a new mod was imported via a generic parameter it 
simply wouldn't be used in this case.

Dale