pike.git/
src/
pike_types.cmod
Branch:
Tag:
Non-build tags
All tags
No tags
2020-07-15
2020-07-15 10:06:50 by Henrik Grubbström (Grubba) <grubba@grubba.org>
739c8bfbf74b3b61e9cd35bfbe3e434c8957bc5e (
5
lines) (+
5
/-
0
)
[
Show
|
Annotate
]
Branch:
master
Compiler
[Typechecker]
: Or-ing a type and its inverse yields mixed.
2779:
t = t2; } else if (zero_implied && (t2->type == T_ZERO)) { t = t1;
+
} else if ((t1->type == T_NOT) && pike_types_le(t1->car, t2)) {
+
t = mixed_type_string;
+
} else if ((t2->type == T_NOT) && pike_types_le(t2->car, t1)) {
+
t = mixed_type_string;
} else if ((t1->type ^ '0') < (t2->type ^ '0')) { /* Note: Adjusted order to get markers first. */ t = t1;