Re: Redefined "=" = generic disaster?

[Lao Xiao Hai <laoxhai@ix.netcom.com>]

Robert Dewar wrote:

> Please post exact Ada 95 code that works (check it out first)
> and does something you consider unexpected.

Could not resist posting this package specification and body in response

to your challenge Robert.   Before you read it, I admit it is silly to
the
point of being frivolous, but not that far removed from some code that
actually finds its way into some designs.

package Strange_Equality is

   type Strange is private;
   type Grisly  is private;
   type Goulish is private;

   function "=" (G1 : Grisly;  G2 : Goulish) return Strange;

private

  type Strange is range -1..3;
  type Grisly  is (Red, Yellow, Blue);
  type Goulish is digits 7;

end Strange_Equality;

  with the following package body

package body Strange_Equality is

   function "=" (G1 : Grisly;  G2 : Goulish) return Strange is
   begin
      if Grisly'Pos(G1) = Integer(G2) then
         return Grisly'Pos(G1);
      else
         return Strange'First;
      end if;
   end "=";

end Strange_Equality;