From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,982ed90dd25179ec
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-01-08 12:46:52 PST
Path: 
 archiver1.google.com!news2.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!newsfeed.telusplanet.net!ps01-chi1.MISMATCH!chi1.webusenet.com!c03.atl99!news.webusenet.com!telocity-west!DIRECTV!sn-xit-03!sn-xit-01!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: point by point advantages of Ada
Date: Wed, 8 Jan 2003 14:31:13 -0600
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <v1p2ssf14l1801@corp.supernews.com>
References: <bebbba07.0212261357.42a817b4@posting.google.com>
 <1041186672.615164@ns2-ext.dcu.ie>
 <8EIP9.19113$p_6.1493222@bgtnsc04-news.ops.worldnet.att.net>
 <24oS9.30853$p_6.2594702@bgtnsc04-news.ops.worldnet.att.net>
 <y9qS9.98932$hK4.8017421@bgtnsc05-news.ops.worldnet.att.net>
 <v1maut4scctn6c@corp.supernews.com> <3E1B4C4C.7050205@cogeco.ca>
X-Newsreader: Microsoft Outlook Express 4.72.3612.1700
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500
X-Complaints-To: abuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:32770
Date: 2003-01-08T14:31:13-06:00
List-Id: <comp.lang.ada>

Warren W. Gay VE3WWG wrote in message <3E1B4C4C.7050205@cogeco.ca>...
>Randy Brukardt wrote:

>I thought that this might work:
>
>    declare
>       V : T'Class := ...
>    begin
>       ...
>       V := Some_Other_Func;  - Dispatching
>    end;
>
>But GNAT (at least) reports that this assignment is "ambiguous"
>and will not compile it. I would have expected that it would
>resolve it at runtime, knowing the current value of V and its
>current tag. Is this consistent with the LRM (IANAL)?

Unfortunately, the LRM has no position on this. This case is not covered
at all by the standard. The ARG has been working (slowly) on an AI to
fix this, and it finally was finished in October and approved at the
recent ARG and WG9 meetings. It's AI-196.
    http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00196.TXT

The solution is essentially to add a paragraph saying that your example
works as you expect. Now, of course, you'll have to wait for Ada
compilers to conform to this ruling. (Which will be helped when an ACATS
test gets added for it.)

               Randy.