!ASIS Issue #058
!topic Cases when semantic queries return results equal to arguments
!reference  ASIS 95-15.14
!from  Sergey Rybin
!keywords Semantic queries, Is_Equal
!discussion

Consider the documentation of Asis.Declarations.Corresponding_First_Subtype:

------------------------------------------------------------------------------
-- Section 15.14  function Corresponding_First_Subtype
------------------------------------------------------------------------------
    function Corresponding_First_Subtype
                  (Declaration : in Asis.Declaration)
                      return Asis.Declaration;

------------------------------------------------------------------------------
--  Declaration - Specifies the subtype_declaration to query
--
-- This function recursively unwinds subtyping to return at a type_declaration
-- that defines the first subtype of the argument.
--
-- Returns a declaration that Is_Equal to the argument if the argument is
-- already the first subtype.
--
-- Appropriate Declaration_Kinds:
--   ...

Why does it says "Returns a declaration that Is_Equal to the argument...",
but not "Returns a declaration that Is_Identical to the argument..."?

Asis.Declarations.Corresponding_First_Subtype is only an example, similar
wording ("Returns a ... that Is_Equal to the argument...") is used for
some other semantic queries, which do not have a Context as an additional
parameter.

I would suggest to replace Is_Equal by Is_Identical in all these cases

!resolution  Accepted.
!date 97-03-26
!Notes

In the functions Corresponding_First_Subtype (Subclause 15.14),
Corresponding_Last_Constraint (Subclause 15.15), and
Corresponding_Last_Subtype (Subclause 15.16), the commentary:

     -- Returns a ... that Is_Equal to the argument if ...

was changed to:

     -- Returns a ... that Is_Identical to the argument if ...