Reemergence of predefined equality operator...

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

I was demonstrating what i thought would be the reemergence of
the predefined equality operator by doing...

   type text is... (record with length & chars, like bounded string)
   function "=" (a, b : text) return boolean;


and


   generic
      type element is private;
      with function "=" (a, b : element) return boolean is <>;
   package...

and after instantiating the generic with type text it kept calling
the "=" defined for type text.

I thought Ada (through a bad design decision) said that it should call
the predefined "=" opertor in this instance. Has this been changed,
or do have I misunderstood the problem?

Dale