Which would be good, except that GNAT is incorrect.  By 3.2.1(9) the "and"
operator for the array type is defined at the type declaration; no operator
should be visible in package Standard for any user-defined type.  ObjectAda
correctly rejects the original program with the fact that there is no valid
interpretation of Standard."and" parameterized by anything but the
predefined type Boolean.

At 01:14 PM 7/16/98 +0200, Barbey, Stephane wrote:
>> -----Original Message-----
>>
>> in both of your solutions, you assumed that the
>> "and"-function is defined even
>> for the array type. But you didn't define that function like e.g.
>
>This is untrue, see RM 4.5.1(6).
>
>Actually the original program (the second variant with Standard."and")
>works correctly with the GNAT compiler (but not with ObjectAda).
>
>-Stephane
>
>----
>Stephane Barbey, PhD   phone: +41(31)828.92.17
>Paranor AG             fax:   +41(31)828.92.99
>3046 Wahlendorf            [log in to unmask]
>Switzerland      http://lglwww.epfl.ch/~barbey
>
>
>
>Attachment Converted: "E:\Attachments\Stephane Barbey (E-mail).vcf"
>
Thank you for choosing Aonix as your provider of software solutions.

-- Keith Shillington
-- Manager, Customer Support for the Americas and Pacific Rim
--       Critial-Software Development Solutions
--       User Interface Management Solutions
-- (800) 97 AONIX  [log in to unmask]