Bend Files

• Two copies of one term are equal before either unfolds (#1071, PR [#1151] by Giulio2002): a conversion first compares both sides with no def unfolded, then as before. A law proven by induction and used at a fixed size, like agree(32n, x) against its written type, checks at once instead of walking a shared chain as a tree of 2^32 steps.
• Base opens a value before it copies it: U32.min/max, the F32 helpers, Char.to_upper/to_lower, U32.div/mod and List.sort match their argument first, so a stuck argument stays one call (#1075).
• Base is smaller (PR [#1153] by nicolas-abril, from [#1059] by jnadeau207-collab), and U32.log2 takes five native shifts instead of thirty-two.
• Fixes:
• U32.to_nat widens to u64 in C, so Nat arithmetic on a u32 local no longer wraps at 2^32 (PR #1142 by Giulio2002).
• A shared Array's redirect is read without a race and without a device atomic (PR #1155 by nicolas-abril).
• TCP.recv, TCP.recv_bytes and TCP.poll with a max of 0 fail with EINVAL, not a closed peer's "" (#1121, by aldeni).
• Emission does less work per word type and nullary constructor (#1056, by jnadeau207-collab).
• --verdict: the kernel puts a λ argument into a type annotated with its domain, so a + let of Equal.cong over a function checks (#1158).
• A pure main shows an Array element and a flat value of one type each by its own layout (#1166).
• A CID(k) in an effect source's comment or string is left alone (#1161, by aldeni).

Install: curl -fsSL https://bend-lang.com/install.sh | sh (or Homebrew: brew install bendlang/bend/bend, or Nix: nix profile install github:bendlang/bend).

sha256:

• 0fa9db4c1fecba936ad0a94a27f686ad14a351798265593c39d76d3e8dbb0024 bend-2.0.33-darwin-arm64.tar.gz
• 7e84d5de7d5cc719ae53db94d1c9fbf23d69c5197e8bc248407d704eb1b29313 bend-2.0.33-darwin-x64.tar.gz
• 962d0c365fad5e2c6546bdbb2ebcf9c09f64e34b3bb3c5926f91a03c14dc3c2f bend-2.0.33-linux-arm64.tar.gz
• a6c13c421543701a7f33e594a9c077c74361cdabd87c0052fc487a0deab8bc30 bend-2.0.33-linux-x64.tar.gz