Branch: Tag:

2022-04-03

2022-04-03 10:16:26 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Compiler [Typechecker]: Support PIKE_T_OPERATOR in transitive types.

7886:    END_CYCLIC();    }    break; +  case PIKE_T_OPERATOR: +  if (num_args) { +  /* No need to expand futher for now. */ +  push_finished_type(trans); +  push_finished_type(cont); +  push_type(PIKE_T_TRANSITIVE); +  } else { +  /* We have no idea. */ +  push_type(PIKE_T_MIXED); +  } +  break;    case PIKE_T_MIXED:    push_type(PIKE_T_MIXED);    break; -  +  case T_VOID: +  push_type(T_VOID); +  break;    default:    /* Unsupported. */    fprintf(stderr, "Attempting to expand unsupported type: ");