Branch: Tag:

2021-12-28

2021-12-28 14:24:30 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Compiler [Typechecker]: Added PT_FLAG_CMP_IGNORE_EXTRA_ARGS.

This is a flag for type_binop() that does the reverse of what
LE_STRICT_FUN does for low_pike_types_le().

5324:    avoidable | PT_FLAG_CMP_NULLABLE | PT_FLAG_CMP_INSEPARABLE,    remap_flags ^ PT_FLAG_REMAP_SWAP_MARKERS);    if (tmp) { +  if ((ai->car == void_type_string) && (tmp != bi->car) && +  (aflags & PT_FLAG_CMP_IGNORE_EXTRA_ARGS)) { +  /* End of argument list for a, and it is valid to end the +  * argument list here (void matched), and a implicitly +  * ignores any further arguments. +  */ +  free_type(tmp); +  tmp = NULL; +  } else {    push_finished_type(ai);    /* FIXME: What if tmp differs due to remapping? */    if (tmp != bi->car) {
5336:    return pop_unfinished_type();    }    } +  }       /* Advance to the next argument. */    if (ai->type == T_FUNCTION) {