JosephFerano/flan
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge master into the .fln optionals lane.

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-26 14:55:03 +07:00
commit c9f33feb6c
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
TODO.org
View File

@ -774,7 +774,8 @@ One spelling for one operation; != stays, and not= is refused with a suggestion
of !=. of !=.
* Checker * Checker
** TODO Checking a wide fold of let operands is slow ** WAIT Checking a wide fold of let operands is slow
Parked 2026-09-26: design first; remeasure on a quiet machine, it was timed under load 20.
A 2000-operand (bit-and (let …) …) takes 32 s to check (37 s before the bit operators); 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. 2000 plain names take 0.03 s. Something per operand is quadratic or worse.
@ -1578,7 +1579,8 @@ are a dyn vector, except numbers with no common type, which are refused. Rules
out the first element typing the rest. out the first element typing the rest.
* Dev loop * Dev loop
** TODO --dev bookkeeping per temp allocation grows without free-temp ** WAIT --dev bookkeeping per temp allocation grows without free-temp
Parked 2026-09-26: design first.
Under --dev each temp allocation (i64->bytes, dyn text crossing into str) costs about Under --dev each temp allocation (i64->bytes, dyn text crossing into str) costs about
340 bytes of registry notes until free-temp; a loop passing dyn text as str 4M times 340 bytes of registry notes until free-temp; a loop passing dyn text as str 4M times
without free-temp reaches 2.7 GB. Release stays flat. A CLI that never frees temp hits it. without free-temp reaches 2.7 GB. Release stays flat. A CLI that never frees temp hits it.
@ -2099,6 +2101,9 @@ default is left alone. Rules out relabelling a note as a warning to make it
navigable. navigable.
* Docs and the repository * Docs and the repository
** WAIT dune test runs slowly and is not grouped by module
Parked 2026-09-26: design first. Time each test by CPU on a quiet machine, speed up the
slowest ten, and group tests under per-module aliases so a lane runs only its own.
** DONE The reference page says what the language is ** DONE The reference page says what the language is
CLOSED: [2026-09-21] CLOSED: [2026-09-21]