From 1b793fd5b247a42162d71bd4ba652a512c6b015c Mon Sep 17 00:00:00 2001
From: albertexye <albertexye@gmail.com>
Date: Thu, 11 Apr 2024 21:09:36 -0400
Subject: [PATCH] raise a ZeroDivisionError when true-dividing by zero

---
 src/pocketpy.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/pocketpy.cpp b/src/pocketpy.cpp
index 26430833..a6e634d0 100644
--- a/src/pocketpy.cpp
+++ b/src/pocketpy.cpp
@@ -372,6 +372,7 @@ void init_builtins(VM* _vm) {
     });
     _vm->bind__truediv__(VM::tp_int, [](VM* vm, PyObject* _0, PyObject* _1) {
         f64 value = CAST_F(_1);
+        if (value == 0.) vm->ZeroDivisionError("division by zero");
         return VAR(_CAST(i64, _0) / value);
     });