Re: How can I qualify the predefined logical operations

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Tuck said

<<:  package body Some_Package is
:    function "And" (Left, Right: Private_Type) return Private_Type is
:    begin
:      return Standard."And" (Left, Right);  -- ERROR: not possible

This should not work (though it may work in some versions of GNAT),
because the predefined "and" is *not* declared in package Standard.
>>


Just so no confusion arises from the above, it is most certainly the
case that the current version of GNAT rejects the above illegal program:

     1.   package body Some_Package is
     2.     function "And" (Left, Right: Private_Type) return Private_Type is
     3.     begin
     4.       return Standard."And" (Left, Right);  -- ERROR: not possible
                             |
        >>> ""And"" not declared in "Standard"

     5.     end "And";
     6.   end Some_Package;