pike.git/ src/ las.cmod

2022-03-13

2022-03-13 11:55:29 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 01a1fff8c7cb0cf9565bf3f9c044a4ecb1107b09 (10 lines) (+6/-4) ^{[ Show | Annotate ]}
  Branch: master

Compiler [Typechecker]: Changed type for F_PUSH_ARRAY nodes.

This is in preparation of having check_splice_call() account
for any array length restrictions.

4047:    free_type(diff_type);    }    } -  /* FIXME: The type field of the splice operator is not yet utilized. +  /* NOTE: The type field of the splice operator is used by +  * new_check_call_arg() in its call of check_splice_call().    * -  * It probably ought to be something similar to MANY(..., VOID). +  * NOTE: The type for the node keeps the array type in order to +  * keep track of the array length information (if any).    */ -  n->type = index_type(array_type, int_type_string, n); -  free_type(array_type); +  n->type = array_type;    } else {    copy_pike_type(n->type, mixed_type_string);    }