diff options
| author | Chimrod <> | 2024-01-14 12:12:28 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-01-14 12:23:21 +0100 |
| commit | 60cb98b4a27ff0f59298646c835606d0a9a47ba3 (patch) | |
| tree | c5e2cee95577d363039012fcb43af17da62a54e9 /lib/syntax | |
| parent | c6dbbaa9e11c34330315f614d922da8ede5824aa (diff) | |
Report as a Warn error when an string is assigned in an Int variable
Diffstat (limited to 'lib/syntax')
| -rw-r--r-- | lib/syntax/type_of.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/syntax/type_of.ml b/lib/syntax/type_of.ml index b2776fc..4344a11 100644 --- a/lib/syntax/type_of.ml +++ b/lib/syntax/type_of.ml @@ -465,7 +465,7 @@ module Instruction = struct [ op1; op2 ] [] with | [] -> - Helper.compare_args ~strict:true ~level:Report.Debug pos expected + Helper.compare_args ~strict:true ~level:Report.Warn pos expected [ op1; op2 ] report | reports -> reports @ report) end |