Branch: Tag:

2022-04-05

2022-04-05 14:32:24 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Compiler [Typechecker]: Improved handling of __unknown__.

multiset(__unknown__) & multiset(mixed) ==> multiset(__unknown)
multiset(__unknown__) - multiset(mixed) ==> __unknown__

6163:    /* FIXME: Handle PT_FLAG_CMP_INSEPARABLE. */    tmp = low_type_binop(op, a->car, b->car, remap,    0, 0, remap_flags); -  if (!tmp) return NULL; +  if (!tmp && ((op != PT_BINOP_AND) || (a->car && b->car))) { +  return NULL; +  }    type_stack_mark();    push_finished_type(tmp);    push_type(a->type);