From b7f7eda1ffe313134a436bfd0fa60fdc3626ed01 Mon Sep 17 00:00:00 2001 From: dzaima Date: Thu, 25 Jul 2024 16:45:29 +0300 Subject: [PATCH] more cells.h comments --- src/builtins/cells.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/builtins/cells.c b/src/builtins/cells.c index f7a0cd35..bf61a214 100644 --- a/src/builtins/cells.c +++ b/src/builtins/cells.c @@ -419,8 +419,8 @@ NOINLINE B for_cells_AA(B f, B w, B x, ur wcr, ur xcr, u32 chr); static NOINLINE B c1wrap(B f, B x) { B r = c1(f, x); return isAtm(r)? m_unit(r) : r; } static NOINLINE B c2wrap(B f, B w, B x) { B r = c2(f, w, x); return isAtm(r)? m_unit(r) : r; } // monadic ˘ & ⎉ -B for_cells_c1(B f, u32 xr, u32 cr, u32 k, B x, u32 chr) { // F⎉cr x, with array x, xr>0, 0≤cr0 && k>0 && cr0, 0≤cr0 && k>0 && cr0 this will always include at least one item of shape; therefore, cam≡0 → IA(x)≡0 and IA(x)≢0 → cam≢0 if (isFun(f)) { @@ -632,7 +632,7 @@ static NOINLINE B rank2_empty(B f, B w, ur wk, B x, ur xk, u32 chr) { return r; } -NOINLINE B for_cells_AS(B f, B w, B x, ur wcr, ur wr, u32 chr) { +NOINLINE B for_cells_AS(B f, B w, B x, ur wcr, ur wr, u32 chr) { // F⟜x⎉wcr w; array w, wr>0, 0≤wcr0 && wcr0, 0≤xcr0 && xcr0, 0≤wcr0, 0≤xcr0 && wcr0 && xcr