aboutsummaryrefslogtreecommitdiff
path: root/types.c
diff options
context:
space:
mode:
Diffstat (limited to 'types.c')
-rw-r--r--types.c9
1 files changed, 7 insertions, 2 deletions
diff --git a/types.c b/types.c
index a55395be..8e234948 100644
--- a/types.c
+++ b/types.c
@@ -269,8 +269,13 @@ bool can_promote(type_t *actual, type_t *needed)
if (type_eq(actual, needed))
return true;
- if ((actual->tag == IntType || actual->tag == NumType)
- && (needed->tag == IntType || needed->tag == NumType)) {
+ if (actual->tag == NumType && needed->tag == IntType)
+ return false;
+
+ if (actual->tag == IntType && needed->tag == NumType)
+ return true;
+
+ if (actual->tag == IntType && needed->tag == IntType) {
auto cmp = compare_precision(actual, needed);
return cmp == NUM_PRECISION_EQUAL || cmp == NUM_PRECISION_LESS;
}