!editorial comment 124
!topic  Corresponding_Body and pragma Import
!reference  ASIS 95-15.11, 15.27
!from  Gary Barnes  98-11-11

The interface Corresponding_Constant_Declaration indicates that
implementations are to return Nil_Element instead of returning the
pragma that completes a completed-by-pragma constant.

The interface Corresponding_Body does not indicate what is supposed to
happen when a subroutine (or package, or task, or protected) is
completed by a pragma.  Based on the wording in
Corresponding_Constant_Declaration I presume that Corresponding_Body
should likewise ignore/drop/hide pragmas that complete these
declarations rather than return them.

!resolution  Accept, with Modifications.

In 15.11, function Corresponding_Constant_Declaration, change:

-- Returns a Nil_Element if the deferred constant declaration is completed
-- by a pragma Import.

to:

-- Returns A_Pragma if the deferred constant declaration is completed
-- by pragma Import.

In 15.11, add the following at the end:

-- Returns Element_Kinds:
--      Not_An_Element
--      A_Declaration
--      A_Pragma

In 15.27, function Corresponding_Body, add:

-- Returns A_Pragma if the Declaration is completed by pragma Import.

before the "Appropriate Declaration_Kinds returning a body" list.

In 15.27, add the following at the end:

-- Returns Element_Kinds:
--      Not_An_Element
--      A_Declaration
--      A_Pragma