Re: Accessibility check failed

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

On 08/11/2014 12:56 PM, sbelmont700@gmail.com wrote:
>
> procedure main is
>
>     x : aliased test_lists_aux.ItemD := (Gen.Lists.ItemD with ch => '!');
>     x_p : test_lists_aux.Item := new test_lists_aux.ItemD'(Gen.Lists.ItemD with ch => '!');
>     y : test_lists_aux.Writer;
>
>
> begin
>
>     test_lists_aux.Proc (w   => y,
>                          itm => x_p);  -- pass, lifetime is forever

No, lifetime is until Main returns. Main can be withed and called from something 
else, or call itself recursively, possibly indirectly, so this is treated as 
having a lifetime less than forever even if we know it will be around for the 
life of the program.

-- 
Jeff Carter
"If a sperm is wasted, God gets quite irate."
Monty Python's the Meaning of Life
56