Re: Ada requires too much typing!

[Simon Wright <simon@pushface.org>]

Georg Bauhaus <rm.dash-bauhaus@futureapps.de> writes:

> with Ada.Text_IO;  use Ada.Text_IO;
>
> procedure Sttc is
>
>    type T is range 0 .. 10;
>
>    procedure A is
>       package P is
>          V: T;
         pragma Export (C, V, "naughty_v");      --<<<<<<<<<<
>       end P;
>    begin
>       if P.V'Valid then
>          P.V := P.V + 1;
>       else
>          P.V := T'First;
>       end if;
>       Put_Line (T'Image(P.V));
>    end A;
>
>    procedure Ovrwrt_Stk  is
>       X : T;
>    begin
>       X := T'First;
>    end Ovrwrt_Stk;
>
> begin
>    A; Ovrwrt_Stk; A; Ovrwrt_Stk; A; Ovrwrt_Stk; A;
> end Sttc;
>
> $ ./sttc
>  0
>  1
>  1
>  1
> $
>
> Phew. Back to normal.

$ gnatmake sttc -f -gnatVa
gcc -c -gnatVa sttc.adb
sttc.adb:10:28: warning: "V" has been made static as a result of Export
sttc.adb:10:28: warning: this usage is non-standard and non-portable
gnatbind -x sttc.ali
gnatlink sttc.ali
$ ./sttc
 1
 2
 3
 4

(this is a GNAT-ism, of course, and is present in at least GNAT Pro
3.16a1 for powerpc-wrs-vxworks and GCC 4.5.0 for x86_64-apple-darwin10).