Re: Pondering what rationale behind record type

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

On 10.05.11 14:08, Dmitry A. Kazakov wrote:

>> Anything wrong with (i.e. makes you shudder)
>>
>>    Label_A: loop
>>      ...
>>    end loop Label_A;
>>
>> ?
> 
> loop A do
>    ...
> end A;

Consequently,

if ... then A do
   ...
else
   ...
end A;

I guess?

>>    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;
> 
> No, Get_Token would be a function-type.

Yes. It was suggested that the meat part of type declarations
should end in "end [X]", not "end keyword", so that

> E.g.

    type Func is
       function (X : Float) return Float;
    end Func;