Skip to content

[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API#3814

Closed
martinvuyk wants to merge 34 commits intomodular:mainfrom martinvuyk:make-list-size-private

Commits

Commits on Dec 4, 2024

Commits on Dec 10, 2024

Commits on Dec 31, 2024

Commits on Jan 2, 2025

Commits on Feb 2, 2025

Commits on Feb 25, 2025

Commits on Feb 26, 2025