comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Visibility problems with package instantiations.....
Date: Mon, 1 Dec 2003 22:25:20 -0600
Date: 2003-12-01T22:25:20-06:00	[thread overview]
Message-ID: <vso54bnr0fs430@corp.supernews.com> (raw)
In-Reply-To: 95234e08.0311302345.4f9e235b@posting.google.com

"Petter Fryklund" <petter.fryklund@atero.se> wrote in message
news:95234e08.0311302345.4f9e235b@posting.google.com...
> I still think that it would be nice to have a "box" syntax for
> parameters that aren't relevant.

See AI-317, approved by the ARG at the last meeting.

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> said:

>If you are going to make an AI on generics and send it to ARG, then add
there

>1. defaults for generic parameters;

This was proposed in AI-299. It didn't find sufficient support, and it was
shelved. (Generally, people didn't think it was important enough.)

>2. a way to resolve conflicts in generic parameter names;
>3. matching the actuals of generic subroutine with omitted default
>parameters [It might be backward incompatible, as Christoph Grein pointed];

Dunno about these.

> 4. generic formal dispatching subroutines;
> 5. generic dispatching subroutines;

Tucker has been lobbying for changes in this area for years. The main
problem is that the changes proposed so far are very messy; it's very hard
to understand the implications. I believe someone has the action item to
work on them.
>. . .
>666. automatic instantiations;

I think you have the appropriate number here. :-)

             Randy Brukardt







      parent reply	other threads:[~2003-12-02  4:25 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-11-27 15:42 Visibility problems with package instantiations Petter Fryklund
2003-11-27 16:33 ` Dmitry A. Kazakov
2003-11-28 11:23   ` Petter Fryklund
2003-11-28 13:17     ` Dmitry A. Kazakov
2003-12-01  7:45       ` Petter Fryklund
2003-12-01  8:58         ` Dmitry A. Kazakov
2003-12-01 16:31           ` Stephen Leake
2003-12-02  9:00             ` Dmitry A. Kazakov
2003-12-02 16:20               ` Stephen Leake
2003-12-03  8:37                 ` Dmitry A. Kazakov
2003-12-03 18:09                   ` Stephen Leake
2003-12-04  9:16                     ` Dmitry A. Kazakov
2003-12-04 13:09                       ` Stephen Leake
2003-12-04 14:03                         ` Dmitry A. Kazakov
2003-12-04 19:24                         ` Randy Brukardt
2003-12-05  0:30                           ` Stephen Leake
2003-12-05  2:58                             ` Randy Brukardt
2003-12-05 14:04                               ` Stephen Leake
2003-12-05 12:14                           ` Jeff C,
2003-12-05 13:13                             ` Arnaud Charlet
2003-12-05 20:52                               ` Randy Brukardt
2003-12-05 21:10                                 ` Simon Wright
2003-12-02 17:07               ` Jeffrey Carter
2003-12-03  8:49                 ` Dmitry A. Kazakov
2003-12-02  4:25         ` Randy Brukardt [this message]
replies disabled

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