pike.git / src / pike_types.cmod

version» Context lines:

pike.git/src/pike_types.cmod:4110:    break;    }       case '0': case '1': case '2': case '3': case '4':    case '5': case '6': case '7': case '8': case '9':    {    int marker = remap_marker(remap, t->type, flags);    struct pike_type *value = NULL;       if (lookup_marker(remap, marker, flags, &value)) { -  push_remap_markers(value, remap, flags); +  push_finished_type(value);    free_type(value);    if (marker && (flags & PT_FLAG_REMAP_KEEP_MARKERS)) {    push_type(marker);    push_type(T_OR);    }    } else if (flags & PT_FLAG_REMAP_EVAL_MARKERS) {    /* Marker without matching assign.    * NB: Not an error. Consider    *    * function($0 = mixed...: $0|float)
pike.git/src/pike_types.cmod:4144:    push_type(marker);    }    }       if (flags & PT_FLAG_REMAP_BOTH_MARKERS) {    marker = remap_marker(remap, t->type,    flags ^ PT_FLAG_REMAP_SWAP_MARKERS);    value = NULL;    if (lookup_marker(remap, marker,    flags ^ PT_FLAG_REMAP_SWAP_MARKERS, &value)) { -  push_remap_markers(value, remap, flags ^ PT_FLAG_REMAP_SWAP_MARKERS); +  push_finished_type(value);    free_type(value);    } else if (flags & PT_FLAG_REMAP_EVAL_MARKERS) {    /* Marker without matching assign. */    /* FIXME: Report error? */    push_type(T_MIXED);    } else {       /* Remap the marker. */       if (!marker) {