pike.git/
src/
pike_types.cmod
Branch:
Tag:
Non-build tags
All tags
No tags
2022-04-03
2022-04-03 10:16:26 by Henrik Grubbström (Grubba) <grubba@grubba.org>
14b0e0fafba9d2feccd0e71cbb8fbec153519137 (
15
lines) (+
15
/-
0
)
[
Show
|
Annotate
]
Branch:
master
Compiler
[Typechecker]
: Support PIKE_T_OPERATOR in transitive types.
7886:
END_CYCLIC(); } break;
+
case PIKE_T_OPERATOR:
+
if (num_args) {
+
/* No need to expand futher for now. */
+
push_finished_type(trans);
+
push_finished_type(cont);
+
push_type(PIKE_T_TRANSITIVE);
+
} else {
+
/* We have no idea. */
+
push_type(PIKE_T_MIXED);
+
}
+
break;
case PIKE_T_MIXED: push_type(PIKE_T_MIXED); break;
-
+
case T_VOID:
+
push_type(T_VOID);
+
break;
default: /* Unsupported. */ fprintf(stderr, "Attempting to expand unsupported type: ");