From b1e561d7ed49928edf9eafae17147ba7836faddb Mon Sep 17 00:00:00 2001 From: dzaima Date: Thu, 1 May 2025 16:15:00 +0300 Subject: [PATCH] more explicit broadcast{[k]E, val} definition --- src/singeli/src/base.singeli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/singeli/src/base.singeli b/src/singeli/src/base.singeli index 745b879b..3aec6583 100644 --- a/src/singeli/src/base.singeli +++ b/src/singeli/src/base.singeli @@ -290,7 +290,7 @@ def fold_addw{E, x:V=[_]E} = vfold{+, x} def fold_addw{x:[k]E if k <= (1<