Someone kindly pointed out to me:
:> I saw this reply only on [log in to unmask], but the original message only
:> on the Team Ada mailing list.

So here it goes to the right place this time:
>
> :> procedure For_Sybelle is
> :>
> :>   type Rodriguez is
> :>     record
> :>       Sybelle: Integer := 1;
> :>     end record;
> :>
> :>   Sybelle: Integer;
> :>
> :>   function Puzzling return Rodriguez is
> :>     Sybelle: Integer := 0;
> :>   begin
> :>     return (Sybelle => Puzzling.Sybelle);
> :>   end Puzzling;
> :>
> :> begin
> :>
> :>   Sybelle := Puzzling.Sybelle;
> :>
> :> end For_Sybelle;
> :>
> :> Is this correct although it's recursive without end condition?
> :> And what is the result?
>
> This does not strike me as a good way to encourage someone to try Ada.
>
> You can't answer "is it correct?" unless you know the requirements.
> If the requirement is to set the integer to 1 and exit with no output
> it is correct.
>
> (However, it won't do that with some versions of VADS!)

Someone else kindly pointed out that "integer to 1" should have been
"integer to 0", i.e., I was confused (as some of you know, I've been
called that more than once :-) ) but that only empohasizes my point:
a useless program designed to confuse is not a good way to encourage
someone considering the use of Ada.

---------------------------------------------------------------------------
W. Wesley Groleau (Wes), Hughes Defense Communications, Fort Wayne, IN  USA
         w w g r o l  at  p s e s e r v 3  dot  f w  dot  h a c  dot  c o m

SPAM should be sent to   [log in to unmask]
If you don't want to be prosecuted under 47 USC 227, don't send it here.
---------------------------------------------------------------------------