Geyacc Limitations

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.