comp.lang.ada
 help / color / mirror / Atom feed
From: Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>
Subject: Re: Generic default parameters
Date: Wed, 15 May 2002 10:44:23 +0200
Date: 2002-05-15T10:44:23+02:00	[thread overview]
Message-ID: <ch74euc4mbvs574sffbn3sca9ff613pirs@4ax.com> (raw)
In-Reply-To: uvg9qvn7r.fsf@gsfc.nasa.gov

On 14 May 2002 10:05:44 -0400, Stephen Leake
<stephen.a.leake.1@gsfc.nasa.gov> wrote:

>Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> writes:
>
>> On Tue, 14 May 2002 13:03:46 +0200 (MET DST), "Grein, Christoph"
>> <christoph.grein@eurocopter.com> wrote:
>> 
>> >What about
>> >
>> >  procedure (X: S; Y: S := Def);
>> >  procedure (X: S := Def; Y: S);
>> >
>> >Would they both match?
>> 
>> Yes, because one is a homograph of another.
>
>This is truly horrible!

Why something horrible for instantiations is not horrible for calls?
Ambiguities are unavoidable when a language has overloading. Backward
compatibility, that's the problem.

>Hmm, maybe you meant to say "they both match,
>so the instantiation fails".

Yes.

---
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de



  reply	other threads:[~2002-05-15  8:44 UTC|newest]

Thread overview: 29+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-05-14 11:03 Generic default parameters Grein, Christoph
2002-05-14 12:01 ` Dmitry A. Kazakov
2002-05-14 14:05   ` Stephen Leake
2002-05-15  8:44     ` Dmitry A. Kazakov [this message]
  -- strict thread matches above, loose matches on Subject: below --
2002-05-14  4:57 Grein, Christoph
2002-05-14 10:23 ` Dmitry A. Kazakov
2002-05-10 14:22 Thomas Wolf
2002-05-10 16:38 ` Preben Randhol
2002-05-10 16:50   ` Marin David Condic
2002-05-11  9:29     ` Simon Wright
2002-05-13 15:03       ` Hyman Rosen
2002-05-11 12:28     ` Preben Randhol
2002-05-13 14:03       ` Marin David Condic
2002-05-13 14:49       ` Hyman Rosen
2002-05-10 19:04   ` Hyman Rosen
2002-05-11 12:23     ` Preben Randhol
2002-05-11 13:49       ` Larry Kilgallen
2002-05-13 14:06       ` Marin David Condic
2002-05-10 19:27   ` Randy Brukardt
2002-05-11 12:32     ` Preben Randhol
2002-05-10 22:14 ` Stephen Leake
2002-05-13  7:49   ` Thomas Wolf
2002-05-13  8:49 ` Dmitry A. Kazakov
2002-05-13 14:00   ` Stephen Leake
2002-05-13 15:21     ` Dmitry A. Kazakov
2002-05-13 16:42       ` Stephen Leake
2002-05-14 10:24         ` Dmitry A. Kazakov
2002-05-14 14:02           ` Stephen Leake
2002-05-15 10:08             ` Dmitry A. Kazakov
replies disabled

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