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 Barbey, PhD phone: +41(31)828.92.17
>Paranor AG fax: +41(31)828.92.99
>3046 Wahlendorf [log in to unmask]
>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]