Skip to content

Make write(IO, Char) actually return the amount of printed bytes instead of the attempted written bytes. #34265

Make write(IO, Char) actually return the amount of printed bytes instead of the attempted written bytes.

Make write(IO, Char) actually return the amount of printed bytes instead of the attempted written bytes. #34265

Annotations

1 warning

Check for blocking labels

succeeded Jan 10, 2025 in 14s