Re: Return value that is an access to array element

[Andreas Almroth <andreas-nntp@almroth.com>]

"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