From 4535058e48fc8edc44be20b92a182279eb9e1569 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Wed, 5 Jun 2024 22:32:55 +0200
Subject: Typeof: Do not raise warning when assigning an integer in a string
 variable

---
 lib/syntax/type_of.ml | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

(limited to 'lib')

diff --git a/lib/syntax/type_of.ml b/lib/syntax/type_of.ml
index b991e43..d0437c9 100644
--- a/lib/syntax/type_of.ml
+++ b/lib/syntax/type_of.ml
@@ -454,9 +454,15 @@ module Instruction = struct
     let report' = Option.map snd variable.index |> Option.value ~default:[] in
 
     let report = List.rev_append report' report in
-    match right_expression.empty with
-    | true -> report
-    | false -> (
+    match
+      ( right_expression.empty,
+        Get_type.get_type (Lazy.force right_expression.result) )
+    with
+    | true, _
+    (* It’s allowed to assign an integer in any kind of variable *)
+    | _, Get_type.(Integer) ->
+        report
+    | false, _ -> (
         let var_type = Lazy.from_val (Get_type.ident variable) in
         let op1 = arg_of_repr var_type variable.pos in
         let op2 = arg_of_repr right_expression.result right_expression.pos in
-- 
cgit v1.2.3