pike.git/
src/
pike_types.cmod
Branch:
Tag:
Non-build tags
All tags
No tags
2021-11-06
2021-11-06 16:47:21 by Henrik Grubbström (Grubba) <grubba@grubba.org>
90785c49bdcf1d7ebe6b78c372cfdf0ea75bb142 (
3
lines) (+
3
/-
0
)
[
Show
|
Annotate
]
Branch:
master
Compiler
[Typechecker]
: Do not keep the type name when its value changes.
4603:
case PIKE_T_NAME: tmp = low_type_binop(op, a->cdr, b, remap, aflags, bflags, remap_flags); if (!tmp) return NULL;
+
if (tmp != a->cdr) return tmp;
type_stack_mark(); push_finished_type(tmp); push_type_name((struct pike_string *)(a->car));
4631:
case PIKE_T_NAME: tmp = low_type_binop(op, a, b->cdr, remap, aflags, bflags, remap_flags); if (!tmp) return NULL;
+
if (tmp != b->cdr) return tmp;
type_stack_mark(); push_finished_type(tmp); push_type_name((struct pike_string *)(b->car));