Geyacc Limitations |

## Expanded types and multiple types for semantic values

In case of multiple types for semantic values, geyacc does not generate valid Eiffel code when the type specified in the `%token` and `%type` declarations is a user-defined expanded type. This is due to the fact that geyacc uses assignment attempts for type conversion. Reference types, generic or not, and basic expanded types such as `INTEGER` or `CHARACTER` are properly handled though, as shown in the following examples:

>     %token <STRING> IDENTIFIER
>     %type <INTEGER> expression
>     %type <LIST [INTEGER]> expression_list

## Formal generic parameters and multiple types for semantic values

In case of multiple types for semantic values, geyacc does not generate valid Eiffel code when the type specified in the `%token` and `%type` declarations is a formal generic parameter. This is due to the fact that geyacc uses assignment attempts for type conversion.