pike.git/
src/
pike_types.cmod
Branch:
Tag:
Non-build tags
All tags
No tags
2022-05-16
2022-05-16 13:40:31 by Henrik Grubbström (Grubba) <grubba@grubba.org>
d24f33a16bfc7f1ebe31784696176c8ee74d7ec2 (
10
lines) (+
9
/-
1
)
[
Show
|
Annotate
]
Branch:
master
Compiler
[Typechecker]
: Improved handling of T_TRANSITIVE - T_MANY.
5420:
((b->cdr == mixed_type_string) || (b->cdr == any_type_string))) { return NULL; }
+
+
type_stack_mark();
+
push_remap_type(a, remap, remap_flags);
+
push_remap_type(b, remap, remap_flags ^ PT_FLAG_REMAP_SWAP_MARKERS);
+
push_type(T_NOT);
+
push_reverse_type(T_AND);
+
return pop_unfinished_type();
}
-
/* FALLTHRU */
+
case TWOT(PIKE_T_TRANSITIVE, T_FUNCTION): tmp = expand_transitive_remap(a, NULL, 0); ret = low_type_binop(op, tmp, b, remap, aflags, bflags, remap_flags);