Branch: Tag:

2022-05-16

2022-05-16 14:48:52 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Compiler [Typechecker]: Add special case for T_TRANSITIVE - T_MANY.

Special case for subtracting function(:X) from a transitive type.

5421:    return NULL;    }    +  if (b->car != void_type_string) {    type_stack_mark();    push_remap_markers(a, remap, remap_flags);    push_remap_markers(b, remap, remap_flags ^ PT_FLAG_REMAP_SWAP_MARKERS);
5428:    push_reverse_type(T_AND);    return pop_unfinished_type();    } +  } +  /* FALLTHRU */       case TWOT(PIKE_T_TRANSITIVE, T_FUNCTION):    tmp = expand_transitive_remap(a, NULL, 0);