pike.git/
src/
pike_types.cmod
Branch:
Tag:
Non-build tags
All tags
No tags
2022-03-24
2022-03-24 09:27:02 by Henrik Grubbström (Grubba) <grubba@grubba.org>
34b5bfe126d06de5cb8d4bf60cf669eda0e35033 (
12
lines) (+
11
/-
1
)
[
Show
|
Annotate
]
Branch:
master
Compiler
[Typechecker]
: Support marker expansion in cdr of PIKE_T_OPERATOR.
1548:
goto done; } else if ((type->type & PIKE_T_MASK) == PIKE_T_OPERATOR) { push_finished_type_with_markers(type->car, markers, marker_set);
+
if (type->type & 0x8000) {
+
struct pike_type *t;
+
type_stack_mark();
+
push_finished_type_with_markers(type->cdr, markers, marker_set);
+
t = pop_unfinished_type();
+
push_type_operator(type->type, t);
+
free_type(t);
+
} else {
push_type_operator(type->type, type->cdr);
-
+
}
goto done; } else if (type->type == PIKE_T_TRANSITIVE) { push_finished_type(type->cdr);