comp.lang.ada
 help / color / mirror / Atom feed
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Resolution of Dispatching Operations
Date: 1997/02/24
Date: 1997-02-24T00:00:00+00:00	[thread overview]
Message-ID: <E64Lzz.FJI@world.std.com> (raw)
In-Reply-To: mheaney-ya023680002302970035510001@news.ni.net


In article <mheaney-ya023680002302970035510001@news.ni.net>,
Matthew Heaney <mheaney@ni.net> wrote:
>procedure Op (L : in T; R : in out T'Class);
>
>procedure Op (L : in T'Class; R : in out T);

>declare
>   O1, O2 : T'Class;
>begin
>   Op (O1, O2);

This is ambiguous, so you should get a compiler time error.

This really has nothing to do with dispatching -- it's just the
compile-time overload resolution rules that are involved.

IMHO, allowing an ambiguous statement to run, and do who-knows-what, is
a pretty serious compiler bug!

- Bob




  reply	other threads:[~1997-02-24  0:00 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-02-23  0:00 Resolution of Dispatching Operations Matthew Heaney
1997-02-24  0:00 ` Robert A Duff [this message]
1997-02-25  0:00 ` Norman H. Cohen
1997-02-26  0:00 ` Tucker Taft
replies disabled

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