Return value that is an access to array element

Return value that is an access to array element

[Martin Dowie]

Given the following code, should a compiler raise an error given
LM 3.10.2 (25) as an error or not?

generic
   type T is private;
   type TA is access all T;
package Foo is
   type XT is private;
   function Get (X : XT) return TA;
private
   type AT is array (Positive range <>) of aliased T;
   type AA is access AT;
   type XT is record
      A : AA;
   end record;
end Foo;

package body Foo is
   function Get (X : XT) return TA is
   begin
      return X.A (1)'Access;  -- Error here?
   end Get;
end Foo;

Re: Return value that is an access to array element

[Andreas Almroth]

"Martin Dowie" <martin.dowie@btopenworld.com> writes:

> Given the following code, should a compiler raise an error given
> LM 3.10.2 (25) as an error or not?
> 
> generic
>    type T is private;
>    type TA is access all T;
> package Foo is
>    type XT is private;
>    function Get (X : XT) return TA;
> private
>    type AT is array (Positive range <>) of aliased T;
>    type AA is access AT;
>    type XT is record
>       A : AA;
>    end record;
> end Foo;
> 
> package body Foo is
>    function Get (X : XT) return TA is
>    begin
>       return X.A (1)'Access;  -- Error here?
>    end Get;
> end Foo;

?

GNAT 3.14p sure gives an error saying you can't use AT as an type, as it is a 
reserved word.

Compiles just fine when changes to something else...

My $0.25,
Andreas