From 05a69415bdff029ad0c2a6b7542bb534d0b42845 Mon Sep 17 00:00:00 2001 From: dzaima Date: Wed, 30 Jun 2021 00:01:41 +0300 Subject: [PATCH] =?UTF-8?q?=E2=88=A7=C2=B4?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/builtins/md1.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/builtins/md1.c b/src/builtins/md1.c index 73661364..294656c4 100644 --- a/src/builtins/md1.c +++ b/src/builtins/md1.c @@ -213,7 +213,7 @@ B fold_c1(B d, B x) { B f = c(Md1D,d)->f; for (usz i = 0; i < ia; i++) if ((c+= xp[i]) > I32_MAX) goto base; dec(x); return m_i32(c); } - if (rtid==2) { // × + if (rtid==2 | rtid==10) { // ×/∧ i64 c = 1; for (usz i = 0; i < ia; i++) if ((c*= xp[i]) > I32_MAX) goto base; dec(x); return m_i32(c); @@ -280,7 +280,7 @@ B fold_c2(B d, B w, B x) { B f = c(Md1D,d)->f; for (usz i = 0; i < ia; i++) if ((c+= xp[i]) > I32_MAX) goto base; dec(x); return m_i32(c); } - if (rtid==2) { // × + if (rtid==2 | rtid==10) { // ×/∧ for (usz i = 0; i < ia; i++) if ((c*= xp[i]) > I32_MAX) goto base; dec(x); return m_i32(c); }