impl: add {pre,post}_assert statements

[m6w6/ext-psi] / psi.d / stdlib.psi

diff --git a/psi.d/stdlib.psi b/psi.d/stdlib.psi
index 35456410c10a274e22142b90082f92285906ffa4..63f28685e8bd37a84c29dba2b55b9d534fee0049 100644 (file)
--- 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));
 }