From 4fb9d3b3fe0c04c29dbe1287c81886030fe1ee41 Mon Sep 17 00:00:00 2001
From: Joseph Ferano <joseph@ferano.io>
Date: Sat, 26 Sep 2026 12:05:30 +0700
Subject: [PATCH] A wide fold of let operands checks slowly, recorded.

---
 TODO.org | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/TODO.org b/TODO.org
index 1b677505..71b78b90 100644
--- a/TODO.org
+++ b/TODO.org
@@ -738,6 +738,9 @@ One spelling for one operation; != stays, and not= is refused with a suggestion
 of !=.
 
 * Checker
+** TODO Checking a wide fold of let operands is slow
+A 2000-operand (bit-and (let …) …) takes 32 s to check (37 s before the bit operators);
+2000 plain names take 0.03 s. Something per operand is quadratic or worse.
 
 ** DONE A dyn value takes .field and [:key]
 CLOSED: [2026-09-26]