Dynamic Variant Record Creation

[Warren <ve3wwg@gmail.com>]

I am trying to solve a lexer Ada design problem, using a 
variant record (Token_Unit) definition:
        
    type Token_Type is (
        LEX_000,
        LEX_BINARY,
        LEX_SECTION,
        '!',
        '"',
        '#',
        '$', 
        ...etc..
        '^',
        '_',
        '`',
        LEX_SFUN3,
        LEX_SFUN2,
        LEX_SFUN1,
        LEX_SFUNN,
        LEX_FUN3,
        LEX_FUN2,
        LEX_FUN1,
        LEX_FUNN,
        ...etc...
        LEX_EOF
    );

    type Token_Unit(Token : Token_Type := LEX_EOF) is
        record
            case Token is
                when LEX_SFUN3 | LEX_SFUN2 | LEX_SFUN1 | LEX_SFUNN
                   | LEX_FUN3  | LEX_FUN2  | LEX_FUN1  | LEX_FUNN =>
                    Func :      Func_Type;
                when LEX_IDENT | LEX_SIDENT | LEX_LNUMBER | LEX_NUMBER
                   | LEX_HEX   | LEX_STRLIT | LEX_INLREM  | LEX_FLOAT
                   | LEX_REM =>
                    ID :        String_ID;                                                                                                                                                             
                when others =>
                    null;
            end case;
        end record;
                            

    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).

But the issue is this:     

*.adb:339:33: value for discriminant "token" must be static
*.adb:339:33: "T" is not static constant or named number (RM 4.9(5))

I could put a huge case statement in, but I'd prefer not to.

Is there a better way to handle the dynamic creation of
a variant record? I have other scenarios involving a    
Func_Type and String_ID as well, which suffer from the same 
"must be static" problem.

I should also mention that I am trying to keep the Token_Unit
to 32-bits, for efficiency.  If it were possible to
divide up the Token_Type (16-bits) into 13-bits and use 
a different descriminant of 3 bits, that would
work also if the total size remained 32. The String_ID 
portion (or Func_Type) are both 16-bit.

Warren