comp.lang.ada
 help / color / mirror / Atom feed
From: "Hibou57 (Yannick Duchêne)" <yannick_duchene@yahoo.fr>
Subject: Attribute denoting a subprogram : no named parameter associations allowed
Date: Sat, 24 Oct 2009 23:27:49 -0700 (PDT)
Date: 2009-10-24T23:27:49-07:00	[thread overview]
Message-ID: <26d15919-f609-4878-8960-61bc87913cca@p23g2000vbl.googlegroups.com> (raw)

Hello once again,

ARM 4.1.4 use the word “ subprogram ” when talking about an attribute
may denote.
> 9 An attribute_reference denotes a value, an object, a subprogram, or
> some other kind of program entity.

ARM 6.4, which is about subprogram calls, says
> 7 A parameter_association is named or positional according to whether or
> not the formal_parameter_selector_name is specified. Any positional associations
> shall precede any named associations. Named associations are not allowed if
> the prefix in a subprogram call is an attribute_reference.

The important thing is the “ Named associations are not allowed if the
prefix in a subprogram call is an attribute_reference. ”, and indeed,
the compiler don't want it.

But why this restriction ? What is the rational for this restriction ?

I do not see a reason why this may be a bad practice to use named
parameter associations when the subprogram is denoted by an attribute.



             reply	other threads:[~2009-10-25  6:27 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-10-25  6:27 Hibou57 (Yannick Duchêne) [this message]
2009-10-27 21:00 ` Attribute denoting a subprogram : no named parameter associations allowed Randy Brukardt
2009-10-27 22:36   ` Adam Beneschan
2009-10-27 23:47     ` Hibou57 (Yannick Duchêne)
2009-10-28 19:03       ` Randy Brukardt
replies disabled

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