Branch: Tag:

2022-02-23

2022-02-23 11:36:22 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Compiler [Typechecker]: Fix PT_FLAG_MIXED with T_NOT nodes.

665:    t->flags = cdr->flags & ~(PT_FLAG_MARKER|PT_FLAG_ASSIGN);    } else if (type == T_NOT) {    if (car) { -  t->flags |= car->flags ^ ~PT_FLAG_MARK_ASSIGN; +  /* NB: We cannot set the PT_FLAG_MIXED flag, +  * as inverting a non-mixed type does not +  * give mixed. +  */ +  t->flags |= (car->flags ^ ~PT_FLAG_MARK_ASSIGN) & ~PT_FLAG_MIXED;    }    } else if (flag_method & PT_COPY_MORE) {    if (car && (flag_method & PT_COPY_CAR)) {