[vhdl-200x-ft] Comments on FT-02

Folks,

In John's analysis of FT-02, he suggests a note at the end of 7.2.1 saying

  Logical reduction operators use the array element type's logical operator
  AND, OR, XOR, and NOT. These operators maybe implicit or explicit, but
must
  be declared and visible before the array type is declared.

If this is required, it should be more than just a note, since it is in the
nature of a normative definition.

However, I don't think it should be the case. The logical operators applied
to two vector arguments aren't defined in this way. Instead, the built-in
definition of the logical operations is appealed to. Furthermore,
overloading the operators for some user-defined type doesn't automatically
imply overloaded definitions for vectors of that type, and nor should it for
unary operators.

I'd suggest that the definition of the unary operators for bit and boolean
simpply be defined in similar terms as the existing logical operators,
namely, with reference to the tables in 7.2.1. The unary operators should
be overloadable in the normal way.

Cheers,

PA

--
Dr. Peter J. Ashenden                        peter@ashenden.com.au
Ashenden Designs Pty. Ltd.                   www.ashenden.com.au
PO Box 640                                   Ph:  +61 8 8339 7532
Stirling, SA 5152                            Fax: +61 8 8339 2616
Australia                                    Mobile: +61 414 70 9106