Fix: Promote unary minus result to float when it exceeds INT_MAX.

Author: dylan-sutton-chavez

compiler/src/modules/vm/mod.rs

@@ -128,7 +128,7 @@ impl<'a> VM<'a> {
 
     pub(crate) fn to_val(&mut self, v: &Value) -> Result<Val, VmErr> {
         Ok(match v {
-            Value::Int(i) => Val::int(*i),
+            Value::Int(i) => Val::int_checked(*i).unwrap_or_else(|| Val::float(*i as f64)),
             Value::Float(f) => Val::float(*f),
             Value::Bool(b) => Val::bool(*b),
             Value::None => Val::none(),
@@ -310,7 +310,14 @@ impl<'a> VM<'a> {
                 }
                 OpCode::Minus => {
                     let v = self.pop()?;
-                    if v.is_int() { self.push(Val::int(-v.as_int())); }
+                    if v.is_int() {
+                        let r = -(v.as_int() as i128);
+                        self.push(if r >= Val::INT_MIN as i128 && r <= Val::INT_MAX as i128 {
+                            Val::int(r as i64)
+                        } else {
+                            Val::float(r as f64)
+                        });
+                    }
                     else if v.is_float() { self.push(Val::float(-v.as_float())); }
                     else { return Err(VmErr::Type("unary -".into())); }
                 }

compiler/tests/cases/vm_cases.json

@@ -180,5 +180,6 @@
   {"src": "print(2**47 * 2)", "output": ["281474976710656"], "result": "None"},
   {"src": "a = 140737488355328\nprint(-a - 1)", "output": ["-140737488355329"], "result": "None"},
   {"src": "print(-(-(2**47)))", "output": ["140737488355328"], "result": "None"},
-  {"src": "a = 140737488355327\nb = 1\nr = 0\nfor i in range(10):\n    r = a + b\nprint(r)", "output": ["140737488355328"], "result": "None"}
+  {"src": "a = 140737488355327\nb = 1\nr = 0\nfor i in range(10):\n    r = a + b\nprint(r)", "output": ["140737488355328"], "result": "None"},
+  {"src": "x = -140737488355328\nprint(-x)", "output": ["140737488355328"], "result": "None"}
 ]