Re: Pondering what rationale behind record type

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 10.05.11 09:45, Dmitry A. Kazakov wrote:
> On Tue, 10 May 2011 00:03:37 +0200, Georg Bauhaus wrote:
> 
>> First, in the phrase "end X", the "X" part can usually be omitted.
> 
> That is another fix to do: a default profile which would forbid omitting
> the name. I saw no Ada program in my life which omitted names in the ends.
> 
>> So whenever we put "record" (or "case", or "if", etc) after an "end",
> 
> These are anonymous constructs.

Though a loop can have a name.

Anything wrong with (i.e. makes you shudder)

   Label_A: loop
     ...
   end loop Label_A;

?

> The only reason why record bracket should
> not contain its name is when there is no name, e.g. as Randy has pointed
> out, in an anonymous record type. They are illegal in Ada, but an imaginary
> example could be:
> 
>    function Get_Token (File : File_Type) return
>       (Matched : Boolean; Length : Positive) record
>          ...

In order to be competitive in the current discussion,
pro "end [X]", the example would have to be

   type Get_Token is function (File : File_Type) return
       ((Matched : Boolean; Length : Positive) record
           case Matched is
             when True => Token : String (1..Length);
             when False => null;
           end case;
        end record)
   end Get_Token;