Re: Dynamic token kinds

[Akim Demaille]

Any comment from someone?

> Le 19 déc. 2018 à 09:13, Akim Demaille <address@hidden> a écrit :
> 
> 
> 
>> Le 19 déc. 2018 à 07:34, Akim Demaille <address@hidden> a écrit :
>> 
>> Hi Frank, Hi all,
>> 
>>> Le 16 déc. 2018 à 10:02, Frank Heckenbach <address@hidden> a écrit :
>>> 
>>> So to make it safe, we might need something like this:
>>> 
>>> static inline
>>> symbol_type
>>> make_symbol (token_type type, b4_locations_if([const location_type& l, 
>>> ])T&& v);
>>> 
>>> auto-generated for each semantic type T of any token (plus one
>>> without the "v" parameter for untyped tokens) that checks (at
>>> runtime) the "type" parameter against the (statically known) valid
>>> token types for T.
>> 
>> I like this idea.  I have a draft for it in my repo, as "make-symbol".
>> Please, try it and report about it.
>> 
>> There are a few issues:
>> - make_symbol will collide if the user has a token named symbol
>> Any idea of a better name?  
> 
> Or simply make them actual constructors for `symbol_type`.