Correct the logic to prevent promoting nums to ints automatically

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;
     }