pike.git / src / pike_types.cmod

version» Context lines:

pike.git/src/pike_types.cmod:11655:    if (res) {    /* Move the inversion back to the function type. */    if (res->type == T_NOT) {    tmp = res->car;    free_type(res);    res = tmp;    } else {    type_stack_mark();    if ((res->type == T_MANY) &&    (fun_type->car->type == T_MANY) && -  (res->car->type == T_NOT)) { +  res->car && (res->car->type == T_NOT)) {    /* Exist criteria is fulfilled.    * Reduce !function(!type...:type) to function(mixed...:type).    * FIXME: Probably ought to move the inner inversion    * to the result type, but that is incompatible    * with current types.    * FIXME: What about the limited number of args case?    */    push_finished_type(mixed_type_string);    free_type(res);    } else {