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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Google-Thread: 103376,162ee844b6e6caa1
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!proxad.net!freenix!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail
From: Stephen Leake <stephen_leake@acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Odd error with access to derived types
Date: 16 Oct 2004 20:32:19 -0400
Organization: Cuivre, Argent, Or
Message-ID: <mailman.7.1097973215.10401.comp.lang.ada@ada-france.org>
References: <feusm0hpbe5frsvljam7jbllqvftusc10v@4ax.com>
	<mailman.328.1097803715.390.comp.lang.ada@ada-france.org>
	<drq0n0dlacjqiv7o14egont0dsg2ut8e37@4ax.com>
	<mailman.1.1097931533.10401.comp.lang.ada@ada-france.org>
	<sa4u0sub3hs.fsf@snoopy.apana.org.au>
NNTP-Posting-Host: lovelace.ada-france.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: melchior.cuivre.fr.eu.org 1097973216 88534 212.85.156.195 (17 Oct
 2004 00:33:36 GMT)
X-Complaints-To: usenet@melchior.cuivre.fr.eu.org
NNTP-Posting-Date: Sun, 17 Oct 2004 00:33:36 +0000 (UTC)
To: comp.lang.ada@ada-france.org
Return-Path: <stephen_leake@acm.org>
In-Reply-To: <sa4u0sub3hs.fsf@snoopy.apana.org.au>
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3
X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ada-france.org
X-BeenThere: comp.lang.ada@ada-france.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: "Gateway to the comp.lang.ada Usenet newsgroup"
	<comp.lang.ada.ada-france.org>
List-Unsubscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=unsubscribe>
List-Post: <mailto:comp.lang.ada@ada-france.org>
List-Help: <mailto:comp.lang.ada-request@ada-france.org?subject=help>
List-Subscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=subscribe>
Xref: g2news1.google.com comp.lang.ada:5342
Date: 2004-10-16T20:32:19-04:00

Brian May <bam@snoopy.apana.org.au> writes:

> >>>>> "Stephen" == Stephen Leake <stephen_leake@acm.org> writes:
> 
>     Stephen> A.Imran <me5@privacy.net> writes:
>     >> Thank you for looking at the code.  Here is the error message:
>     >> 
>     >> ~> gnatmake test gcc -c test.adb parent-child.ads:10:09:
>     >> "derived_access" conflicts with declaration at line 6 gnatmake:
>     >> "test.adb" compilation error
> 
>     Stephen> That is certainly a confusing error message. I'd call it
>     Stephen> a compiler bug; submit this to report@gnat.com.
> 
> Was the previous code valid? If not, why not?

I don't know. 

> <snip>
> 
> It would appear that derived_access needs the full definition of
> derived_type in order to work because it contains a task. I don't
> understand why.

This probably has something to do with "freezing rules", which are
notoriously tricky.

-- 
-- Stephe