X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=psi.d%2Fstdlib.psi;fp=psi.d%2Fstdlib.psi;h=63f28685e8bd37a84c29dba2b55b9d534fee0049;hp=35456410c10a274e22142b90082f92285906ffa4;hb=f15288e185e65bcdfde87c217fb6bd7ff12eb653;hpb=e11280a7b6ed67a4d79b14569ca06131ea2338bd

diff --git a/psi.d/stdlib.psi b/psi.d/stdlib.psi
index 3545641..63f2868 100644
--- a/psi.d/stdlib.psi
+++ b/psi.d/stdlib.psi
@@ -6,18 +6,21 @@ function psi\abs(int $i) : int {
 function psi\div(int $numerator, int $denominator) : array {
 	let numerator = intval($numerator);
 	let denominator = intval($denominator);
+	pre_assert denominator != 0;
 	return to_array(div, to_int(quot), to_int(rem));
 }
 
 function psi\ldiv(int $numerator, int $denominator) : array {
 	let numerator = intval($numerator);
 	let denominator = intval($denominator);
+	pre_assert denominator != 0;
 	return to_array(ldiv, to_int(quot), to_int(rem));
 }
 
 function psi\lldiv(int $numerator, int $denominator) : array {
 	let numerator = intval($numerator);
 	let denominator = intval($denominator);
+	pre_assert denominator != 0;
 	return to_array(lldiv, to_int(quot), to_int(rem));
 }