pike.git/ src/ language.yacc

2022-06-01

2022-06-01 16:13:48 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 49345d22bba48f2038afd21524663b51d7a33aa1 (13 lines) (+8/-5) ^{[ Show | Annotate ]}
  Branch: master

Compiler [Typechecker]: Improved backward compat.

Add implicit zero types to function argument types in compat mode.

Also some other minor type cleanups.

1254:    int i;    if(Pike_compiler->varargs) yyerror("Can't define more arguments after ...");    +  if (TEST_COMPAT(8, 0) && +  !pike_types_le(zero_type_string, peek_type_stack(), 0, 0)) { +  push_type(PIKE_T_ZERO); +  push_type(T_OR); +  } +     if($2)    {    push_unlimited_array_type(T_ARRAY);
1781:    push_type(T_VOID);    push_type(T_OR);    -  push_type(T_ZERO); -  push_type(T_VOID); -  push_type(T_OR); +  push_type(PIKE_T_UNKNOWN);       push_type(T_MANY);   
1800:    push_type(PIKE_T_UNKNOWN);       push_type(T_MIXED); -  push_type(T_VOID); -  push_type(T_OR); +        push_type(T_MANY);