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
Path: 
 g2news1.google.com!postnews.google.com!k6g2000prg.googlegroups.com!not-for-mail
From: Adam Beneschan <adam@irvine.com>
Newsgroups: comp.lang.ada
Subject: Re: Type of the target of an assignment shall not be abstract
Date: Mon, 15 Feb 2010 09:05:09 -0800 (PST)
Organization: http://groups.google.com
Message-ID: <39f56354-a2e2-4133-bbad-9343b2f22119@k6g2000prg.googlegroups.com>
References: 
 <770863d9-14ae-4a05-b924-2dfeda7a96a8@f15g2000yqe.googlegroups.com>
NNTP-Posting-Host: 66.126.103.122
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1266253510 31641 127.0.0.1 (15 Feb 2010 17:05:10
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 15 Feb 2010 17:05:10 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: k6g2000prg.googlegroups.com; posting-host=66.126.103.122;
	posting-account=duW0ogkAAABjRdnxgLGXDfna0Gc6XqmQ
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 6.0; WOW64;
	SLCC1; .NET CLR 2.0.50727; Media Center PC 5.0; .NET CLR 3.5.21022; .NET CLR
	3.5.30729; .NET CLR 3.0.30618),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:9239
Date: 2010-02-15T09:05:09-08:00
List-Id: <comp.lang.ada>

On Feb 14, 6:20=A0am, Gautier write-only <gautier_niou...@hotmail.com>
wrote:
> Hello,
>
> A question for the RM hermeneutists.
> The instruction marked below with ">>>" goes well through one Ada 95
> compiler (GNAT with -gnat95) but is not accepted by another one
> (ObjectAda 7.2.2).
> Which compiler is right ?
>
> =A0 procedure Init(
> =A0 =A0 xl =A0 =A0 =A0 =A0: in out Excel_Out_Stream'Class;
> =A0 =A0 format =A0 =A0: =A0 =A0 =A0 =A0Excel_type:=3D Default_Excel_type
> =A0 )
> =A0 is
> =A0 =A0 dummy_xl_with_defaults: Excel_Out_File;
> =A0 begin
> =A0 =A0 -- Check if we are trying to re-use a half-finished object
> (ouch!):
> =A0 =A0 if xl.is_created and not xl.is_closed then
> =A0 =A0 =A0 raise Excel_Stream_Not_Closed;
> =A0 =A0 end if;
> =A0 =A0 dummy_xl_with_defaults.format:=3D format;>>> Excel_Out_Stream(xl)=
:=3D Excel_Out_Stream(dummy_xl_with_defaults);
>
> =A0 end Init;
>
> >>> excel_out.adb: Error: line 595 col 5 LRM:3.9.3(8), The type of the ta=
rget of an assignment shall not be abstract

This is indeed illegal, although offhand I'm not sure it should be.

                         -- Adam