Issues

JS Map.msb.u shifts through Base for a bounded U32 bit-width query

bendlang/bend#1703 · opened

on Oct 18, 2026

JS Map.bit reconstructs the key prefix just to return the unchanged key

bendlang/bend#1702 · opened

on Oct 18, 2026

JS String.cmp rebuilds both input strings while finding their order

bendlang/bend#1701 · opened

on Oct 18, 2026

JS Nat boolean predicates still lower through an intermediate Cmp

bendlang/bend#1700 · opened

on Oct 18, 2026

JS Nat.pow performs one recursive multiply per exponent step

bendlang/bend#1699 · opened

on Oct 18, 2026

JS binary writes allocate an intermediate number array for every byte

bendlang/bend#1697 · opened

on Oct 18, 2026

JS text I/O constructs a new UTF-8 codec for every buffer

bendlang/bend#1696 · opened

on Oct 18, 2026

UDP receive buffers grow beyond the maximum IPv4 payload

bendlang/bend#1695 · opened

on Oct 18, 2026

CLI outputs can silently overwrite an earlier emitted program through file aliases

bendlang/bend#1694 · opened

on Oct 18, 2026

JS U32.to_f32 can give unsigned host zero a negative float sign

bendlang/bend#1692 · opened

on Oct 18, 2026

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

Navigation Menu

Repository navigation

Issues

JS Map.msb.u shifts through Base for a bounded U32 bit-width query

JS Map.bit reconstructs the key prefix just to return the unchanged key

JS String.cmp rebuilds both input strings while finding their order

JS Nat boolean predicates still lower through an intermediate Cmp

JS Nat.pow performs one recursive multiply per exponent step

JS binary writes allocate an intermediate number array for every byte

JS text I/O constructs a new UTF-8 codec for every buffer

UDP receive buffers grow beyond the maximum IPv4 payload

CLI outputs can silently overwrite an earlier emitted program through file aliases

JS U32.to_f32 can give unsigned host zero a negative float sign

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)