From: Vincent Marciante <marciant@li.net>
Subject: Re: Redefined "=" = generic disaster?
Date: Thu, 02 Nov 2000 00:27:33 -0500
Date: 2000-11-02T00:27:33-05:00 [thread overview]
Message-ID: <3A00FB44.C59@li.net> (raw)
In-Reply-To: 3A005722.7E0BC50@mail.com
The example exhibits the exact behavior that I had
been trying to describe. Thanks for posting it -
that makes one less thing that I have to worry
about doing in my currently limitted ;) time!
Also, I remembered the previous thread and tried to
reread it on deja before I posted my note. That
previous thread didn't single out reemergence of "="
as being especially bad though - did it?
Vinny
P.S. Big news soon..!
Mats Weber wrote:
>
> Robert Dewar wrote:
>
> > [...]
> > I still don't get it, the original claim was that there was
> > something special about "=" that made things particularly
> > awkward.
> > [...]
>
> I first wanted to shut up on this issue when I saw it reemerge. But I
> can't tell people to go to deja.com and search for it because searches
> for postings prior to May 15, 1999, are temporarily unavailable.
>
> I think there really is a problem with the reemergence of predefined
> operations within generics, and that problem has been acknowleged by the
> Ada 95 design team: draft versions of the 9X reference manual had rules
> removing the reemergence problem, but later these rules were removed in
> the final Ada 95 RM. IMO, this was a mistake.
>
> Anyway here is an example program that illustrates the problem (see code
> at end of message).
...
next prev parent reply other threads:[~2000-11-02 5:27 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-10-21 6:59 Redefined "=" = generic disaster? Vincent Marciante
2000-10-21 0:00 ` Jeff Carter
2000-10-21 0:00 ` Vincent Marciante
2000-10-28 11:12 ` Robert Dewar
2000-10-29 8:43 ` Vincent Marciante
2000-10-30 3:49 ` Lao Xiao Hai
2000-10-30 18:46 ` Robert Dewar
2000-10-31 3:27 ` Lao Xiao Hai
2000-10-31 6:54 ` Vincent Marciante
2000-10-31 19:51 ` Robert Dewar
2000-11-01 17:47 ` Mats Weber
2000-11-02 5:27 ` Vincent Marciante [this message]
2000-11-02 16:52 ` Mats Weber
2000-11-02 14:59 ` Tucker Taft
2000-11-05 4:29 ` Robert Dewar
2000-11-05 4:32 ` Robert Dewar
2000-11-05 4:26 ` Robert Dewar
2000-10-21 0:00 ` Vincent Marciante
2000-10-22 2:50 ` Jeff Carter
2000-10-22 0:00 ` Vincent Marciante
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox