Issues

JS String.from_list builds character text through the Base recursion

bendlang/bend#1689 · opened

on Oct 17, 2026

JS U32.log2 runs the Base bit search inside numeric folds

bendlang/bend#1688 · opened

on Oct 17, 2026

JS U32.pow does one recursive multiply per exponent step

bendlang/bend#1687 · opened

on Oct 17, 2026

JS String.get walks SCon tails for every skipped character

bendlang/bend#1686 · opened

on Oct 17, 2026

JS String.order still calls Base helpers for every Char in a long prefix

bendlang/bend#1685 · opened

on Oct 17, 2026

JS String.reverse still walks the Base reversal helpers

bendlang/bend#1681 · opened

on Oct 17, 2026

JS String.to_list builds its list through recursive Base calls

bendlang/bend#1680 · opened

on Oct 17, 2026

JS String.trim_start traverses whitespace through the Base call chain

bendlang/bend#1679 · opened

on Oct 17, 2026

JS ASCII case conversion goes through Base for every Char

bendlang/bend#1678 · opened

on Oct 17, 2026

JS String.take and drop call the Base worker once per skipped Char

bendlang/bend#1677 · opened

on Oct 17, 2026

JS String.join and concat assemble fragment ropes through Base

bendlang/bend#1676 · opened

on Oct 17, 2026

JS String.split creates a temporary List cell for each input Char

bendlang/bend#1675 · opened

on Oct 17, 2026

JS decimal readers walk Base helpers for every leading zero

bendlang/bend#1674 · opened

on Oct 17, 2026

JS U32.show and Nat.show still build decimal text through Base

bendlang/bend#1673 · opened

on Oct 17, 2026

`--verdict` mismatch: a λ rebuilt as a match keeps its variable's old level in its annotations (`Nat` where `P` is expected)

bendlang/bend#1669 · opened

on Oct 17, 2026

bend-lint format/layout: an under-indented case body moves the next case into the outer match

bendlang/bend#1668 · opened

on Oct 17, 2026

1

`--verdict` mismatch: an η-expanded argument keeps old binder levels in its inner annotations (`Bool` where `Nat` is expected)

bendlang/bend#1665 · opened

on Oct 17, 2026

JS String.repeat performs per-repetition calls instead of using the host primitive

bendlang/bend#1663 · opened

on Oct 17, 2026

JS Array.to_list copies array slots at every tree level

bendlang/bend#1661 · opened

on Oct 17, 2026

JS String.trim_end rebuilds the whole string twice even when there is no trailing whitespace

bendlang/bend#1658 · opened

on Oct 17, 2026

C backend: a memory-bound loop's speed depends on unrelated code (flipping BLK_SHR in a program that never forks makes it 10-18% faster)

bendlang/bend#1648 · opened

on Oct 17, 2026

JS String.ends_with reverses the whole haystack even for a one-character or empty suffix

bendlang/bend#1641 · opened

on Oct 17, 2026

Let an empty String prefix reduce without inspecting the haystack

bendlang/bend#1640 · opened

on Oct 17, 2026

JS String.contains still scans ordinary text character by character

bendlang/bend#1637 · opened

on Oct 17, 2026

JS F32 bit casts allocate a fresh buffer and typed views on every call

bendlang/bend#1638 · opened

on Oct 17, 2026

Navigation Menu

Repository navigation

Issues

JS String.from_list builds character text through the Base recursion

JS U32.log2 runs the Base bit search inside numeric folds

JS U32.pow does one recursive multiply per exponent step

JS String.get walks SCon tails for every skipped character

JS String.order still calls Base helpers for every Char in a long prefix

JS String.reverse still walks the Base reversal helpers

JS String.to_list builds its list through recursive Base calls

JS String.trim_start traverses whitespace through the Base call chain

JS ASCII case conversion goes through Base for every Char

JS String.take and drop call the Base worker once per skipped Char

JS String.join and concat assemble fragment ropes through Base

JS String.split creates a temporary List cell for each input Char

JS decimal readers walk Base helpers for every leading zero

JS U32.show and Nat.show still build decimal text through Base

`--verdict` mismatch: a λ rebuilt as a match keeps its variable's old level in its annotations (`Nat` where `P` is expected)

bend-lint format/layout: an under-indented case body moves the next case into the outer match

`--verdict` mismatch: an η-expanded argument keeps old binder levels in its inner annotations (`Bool` where `Nat` is expected)

JS String.repeat performs per-repetition calls instead of using the host primitive

JS Array.to_list copies array slots at every tree level

JS String.trim_end rebuilds the whole string twice even when there is no trailing whitespace

C backend: a memory-bound loop's speed depends on unrelated code (flipping BLK_SHR in a program that never forks makes it 10-18% faster)

JS String.ends_with reverses the whole haystack even for a one-character or empty suffix

Let an empty String prefix reduce without inspecting the haystack

JS String.contains still scans ordinary text character by character

JS F32 bit casts allocate a fresh buffer and typed views on every call