Re: Dynamic Variant Record Creation

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

Warren schrieb:

>     procedure Get_Token(Object : in out Lexer; Token : out Token_Unit) is
>                         
>         procedure Emit_Token(T : Token_Type) is
>             T : Token_Type := Token_Type'Val(Character'Pos(Ch));
>         begin
>             Token := ( Token => T );
>         end;
> 
>         ...         
>         
>     end;


> In the above, I need to create a Token_Unit from             
> a single character (there is no "id" in this case). The values 
> of operator characters are carefully coordinated in the Token_Type 
> using a representation clause (just FYI).

This text appears to be GNATable:

      procedure Emit_Token(T : Token_Type) is
         Some_T : Token_Type := Token_Type'Val(Character'Pos(Ch));
         subtype Result_Type is Token_Unit (Token => Some_T);
         Result : Result_Type;
      begin
         -- Token := ( Token => T );



         Token := Result;
      end;

> But the issue is this:     
> 
> *.adb:339:33: value for discriminant "token" must be static

Is this true?