> -----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]
Switzerland      http://lglwww.epfl.ch/~barbey