TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Monospaced Font
Show HTML Part by Default
Show All Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Keith Shillington <[log in to unmask]>
Thu, 16 Jul 1998 07:21:27 -0700
text/plain (39 lines)
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]

ATOM RSS1 RSS2