pike.git / src / pike_types.cmod

version» Context lines:

pike.git/src/pike_types.cmod:12672:    tmp = apply_type_operator(fun_type->type, fun_type->car, fun_type->cdr);    if (!tmp) {    res = NULL;    break;    }    res = get_first_arg_type(tmp, flags);    free_type(tmp);    break;       case PIKE_T_TRANSITIVE: -  if (!fun_type->car) { -  fun_type = fun_type->cdr; -  goto loop; -  } -  -  tmp = new_get_return_type(fun_type->car, 0); -  -  if (!tmp) { -  fun_type = fun_type->car; -  goto loop; -  } -  -  tmp2 = low_new_check_call(fun_type->cdr, tmp, 0, NULL); -  free_type(tmp); -  tmp = NULL; -  -  if (!tmp2) { -  fun_type = fun_type->car; -  goto loop; -  } -  -  tmp = or_pike_types(fun_type->car, tmp2, 1); -  free_type(tmp2); +  tmp = expand_transitive(fun_type, a_markers, 0);    res = get_first_arg_type(tmp, flags);    free_type(tmp);    return res;       case T_OR:    if (!(res = get_first_arg_type(fun_type->car, flags))) {    fun_type = fun_type->cdr;    goto loop;    }    if (!(tmp = get_first_arg_type(fun_type->cdr, flags))) {