News for hackers. Stuff that matters.

A comment on A Sad Day for Rust. Parent comment

Re:A Sad Day for Rust by mratsim on Friday January 17, 2020 @01:37PM (#22077673)
Thank you very much.

Are there some deleted comments that might have been missed?

If not the conversation was civil until the maintainer refused a patch for a "boring" reason.

[ Parent | on HN ]
Re:A Sad Day for Rust by steveklabnik on Friday January 17, 2020 @01:55PM (#22077876)
As I mentioned in the post, this situation has been going on for a long time. You'd need to read a few dozen pages to get the full context here.
[ Parent | on HN ]
Re:A Sad Day for Rust by Izkata on Friday January 17, 2020 @06:42PM (#22080883)
Not quite correct. That patch was never intended to be merged as-is in the first place:

> As a PoC

> Presumably this requires benchmarking/more exhaustive testing which I don't have time to do, but if someone wants to take the patch and get it merged feel free

Keeping that in mind, the "boring" comment comes off differently to me, like they got sidetracked from the original issue and he didn't feel like continuing - which is nearly the confirmation given in the second issue.

[ Parent | on HN ]