pike.git / src / pike_types.cmod

version» Context lines:

pike.git/src/pike_types.cmod:4951:       return pop_unfinished_type();    }    if (tmp) {    if (tmp->type != T_VOID) {    push_remap_markers(ai, NULL, remap, remap_flags);    push_finished_type(tmp);    push_type(T_FUNCTION);    } else if (a->type == T_FUNCTION) {    push_remap_markers(ai, NULL, remap, remap_flags); -  if ((ai->type != T_MANY) || (ai->car != T_VOID)) { +  if ((ai->type != T_MANY) || (ai->car->type != T_VOID)) {    /* Convert voidable arguments into zero|void    * if they must be present for later arguments.    */    push_type(T_ZERO);    push_type(T_VOID);    push_type(T_OR);    push_type(T_FUNCTION);    }    } else {    /* a->type == T_MANY */