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.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	WEIRD_PORT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8f37203cc7858734
X-Google-Attributes: gid103376,public
From: Samuel Tardieu <sam@ada.eu.org>
Subject: Re: Is assignment available for access parameters?
Date: 1997/03/26
Message-ID: <qw6k9mukio7.fsf@gargantua.enst.fr>#1/1
X-Deja-AN: 228463728
Sender: tardieu@gargantua.enst.fr
References: <mheaney-ya023680002603970130250001@news.ni.net>
To: mheaney@ni.net (Matthew Heaney)
Organization: TELECOM Paris
Newsgroups: comp.lang.ada
Date: 1997-03-26T00:00:00+00:00
List-Id: <comp.lang.ada>


>>>>> "Matthew" == Matthew Heaney <mheaney@ni.net> writes:

Matthew> Is assignment of an access parameter to an object of a named
Matthew> (general) access type legal?  The code below compiles under
Matthew> my compiler (GNAT), but not on others (Rational, Aonix).  Who
Matthew> is correct?

With my wavefront version of GNAT, I get:

Compiling: test_p.adb (source file time stamp: 1997-03-26 11:11:05)

     7.       OTA : P.TA := OA;  -- ???
                            |
        >>> expected type "TA" defined at p.ads:6
        >>> found type access to "T" defined at line 6

You have to use explicit type conversion into a general access type
(P.TA in your case) to make it work (OTA : P.TA := P.TA (OA);)

  Sam
--
Samuel Tardieu -- sam@ada.eu.org