comp.lang.ada
 help / color / mirror / Atom feed
From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Basic questions about wordings in “Interfacing Pragmas”
Date: Tue, 22 Nov 2011 11:10:01 -0800 (PST)
Date: 2011-11-22T11:10:01-08:00	[thread overview]
Message-ID: <32ebf2db-e697-41e3-ac12-9673b9467c0b@s6g2000vbc.googlegroups.com> (raw)
In-Reply-To: op.v5c0ztctule2fv@douda-yannick

On 22 Nov., 19:15, Yannick Duchêne (Hibou57)
<yannick_duch...@yahoo.fr> wrote:
> > 9.1/1 For pragmas Import and Export, the argument for Link_Name shallnot
> > be given without the pragma_argument_identifier unlessthe argument for
> > External_Name is given.
>
> What is that pragma_argument_identifier ? The Convention ?

pragma Pragma_Name (pragma_argument_identifier => Value, ...);

The pragma_argument_identifier is the formal name of the argument. It
cannot be
omitted for Link_Name when External_Name is omitted because this is
the last argument.

> In legality rules> 18 T is an access-to-subprogram type, and its designated profile's
> > parameter and result types are all L-compatible.
>
> Why no similar wording for imported subprograms ? Was just forget or is
> this missing on purpose ? (or I missed it?)

Don't understand. This is a rule for a type T and not for subprograms.



  parent reply	other threads:[~2011-11-22 19:10 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-11-22 18:15 Basic questions about wordings in “Interfacing Pragmas” Yannick Duchêne (Hibou57)
2011-11-22 18:18 ` Yannick Duchêne (Hibou57)
2011-11-22 19:10 ` AdaMagica [this message]
2011-11-23  4:28   ` Yannick Duchêne (Hibou57)
2011-11-22 20:07 ` Adam Beneschan
2011-11-23  4:39   ` Yannick Duchêne (Hibou57)
2011-11-23  6:05     ` Adam Beneschan
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox