Re: Storage management

[christoph.grein@eurocopter.com]

On 7 Nov., 14:22, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:

> I don't know. But I discussed that with AdaCore people. Since the following
> does not work with GNAT Pro 6.2 (Windows wavefront):
>
> with Ada.Text_IO;  use Ada.Text_IO;
> procedure Test_ATC is
> begin
>    Put_Line ("Type");
>    select
>       delay 2.0;
>       Put_Line ("Timed out");
>    then abort
>       Put_Line ("You typed " & Get_Line);
>    end select;
> end Test_ATC;

How come? What did they say? The following piece of code works fine
(GNAT Pro 6.0.1 on Linux SuSE 9.1):

  Start: constant Time := Clock;

begin

  select
    delay 5.0;
    Put_Line ("Time out");
  then abort
    Put_Line ("Read """ & Get_Line & '"');
  end select;

  Put_Line (Duration'Image (Clock - Start));