samdphillips
2020-8-19 01:36:48
@notjack do you think the “fix” for https://github.com/racket/racket/issues/1454 is to change the reader or fix the doc?
samdphillips
2020-8-19 01:37:27
I guess since you tagged it bug you mean the former.
notjack
2020-8-19 01:38:21
Yeah I think changing the reader is appropriate. This seems obviously wrong.
samdphillips
2020-8-19 01:53:33
I can go either way. Mixing read read-char and/or read-byte feel like walking up to a UB line.
samdphillips
2020-8-19 02:16:45
Looks like this could be closed? https://github.com/racket/racket/issues/1345