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
Path: 
 g2news2.google.com!news2.google.com!news.glorb.com!gegeweb.org!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Issue with GNAT GPL 2009 and GtkAda
Date: Mon, 29 Jun 2009 17:15:01 -0500
Organization: Jacob Sparre Andersen
Message-ID: <h2beeg$d5c$1@munin.nbi.dk>
References: <4A414EBB.8060204@free.fr> <uk532lyzd.fsf@stephe-leake.org>
 <utz24lm2n.fsf@stephe-leake.org>
 <1avd65rn49abv$.krcxo2gdzb16$.dlg@40tude.net>
 <4a43c9ce$0$420$426a74cc@news.free.fr> <u1vp7l4tm.fsf@stephe-leake.org>
 <4a4537a3$0$441$426a34cc@news.free.fr> <ueit5kjl4.fsf@stephe-leake.org>
 <4a460fd7$0$10813$426a74cc@news.free.fr>
 <4a46121a$0$414$426a74cc@news.free.fr>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1246313744 13484 69.95.181.76 (29 Jun 2009 22:15:44 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Mon, 29 Jun 2009 22:15:44 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5512
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5579
X-RFC2646: Format=Flowed; Response
Xref: g2news2.google.com comp.lang.ada:6739
Date: 2009-06-29T17:15:01-05:00
List-Id: <comp.lang.ada>

"Damien Carbonne" <damien.carbonne@free.fr> wrote in message 
news:4a46121a$0$414$426a74cc@news.free.fr...
...
> This behaves as expected (by me).
> So a tagged type is really and always aliased, whatever its mode (in, out, 
> in out) is. At least, this is what understand from those examples.

That's not right, unfortunately. Tagged *parameters* are always considered 
aliased, but other kinds of tagged objects are not (necessarily) considered 
aliased. The designated object of an access value is considered aliased, 
though.

Bob explained this in more detail.

                                       Randy.