pike.git/
src/
pike_types.cmod
Branch:
Tag:
Non-build tags
All tags
No tags
2022-03-17
2022-03-17 09:02:17 by Henrik Grubbström (Grubba) <grubba@grubba.org>
81abe299c3b5b690a0b05c2f37c106eb752274a9 (
15
lines) (+
11
/-
4
)
[
Show
|
Annotate
]
Branch:
master
Compiler
[Typechecker]
: Fix result from match_types() and T_NOT.
7897:
free_type(ret); return 0; }
-
add_ref(
a
);
-
return
a;
+
/* We know that
a
->car and b do not overlap, it is thus safe
+
* to use mixed|void in place of a to get proper values for
+
* any markers in b.
+
*/
+
return
low_match_types(any_type_string, b, flags)
;
case T_ASSIGN: {
8056:
free_type(ret); return 0; }
-
add_ref(
a
);
-
return a;
+
/* We know that
a
and b->car do not overlap, it is thus safe
+
* to use mixed|void in place of b to get proper values for
+
* any markers in a.
+
*/
+
return
low_match_types(
a
, any_type_string, flags)
;
case T_ASSIGN: {