!standard  4.05.02(32.1/1)                              03-09-12  AC95-00076/01
!class confirmation 03-09-12
!status received no action 03-09-12
!status received 03-09-05
!subject Is there a requirement that equality must compose for "predefined types"?

!summary

!appendix

From: Christoph Grein
Sent: Friday, September 5, 2003  12:33 AM

Sorry for the question, but I'm not able to find a statement in the
Consolidated AARM about Ada predefined types' equality, but I'm sure there is
somewhere a statement that those types must be implemented such that equality
composes.

Thanx for any hint.

****************************************************************

From: Pascal Leroy
Sent: Friday, September 5, 2003  3:19 AM

4.5.2(32.1/1): "For all nonlimited types declared in language-defined
packages, the "=" and "/=" operators of the type shall behave as if they
were the predefined equality operators for the purposes of the equality
of composite types and generic formal types."

****************************************************************