commit: 8e1b9abb7a707ac6080af2f29581dd7bcfd2fcc5

[log]
author: Henrik Böving <hargonix@gmail.com>

Tue Apr 22 16:32:59 2025 +0200
committer: GitHub <noreply@github.com>

Tue Apr 22 14:32:59 2025 +0000
tree: 2b49ad8f1cd20118383de3bf13709fdbcacf33a0
parent: be117c4738bfd81d6a59c95e89a4294b25d53939 [diff]

fix: missing wakeup in bounded channel try receive (#8052)

This PR fixes a small oversight in the wakeup mechanism of blocked
bounded channel senders that occurs when calling `tryRecv`.

Marked as `changelog-no` as this isn't released yet.

src/Std/Sync/Channel.lean[diff]

1 file changed

tree: 2b49ad8f1cd20118383de3bf13709fdbcacf33a0

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).