Stream: Coq devs & plugin devs

Topic: coqdoc double counting newlines


view this post on Zulip Gaëtan Gilbert (Jul 25 2020 at 12:15):

This looks like it's double counting MS-style newlines, am I wrong?
https://github.com/coq/coq/blob/55f4095fe3c366a9f310584a55e2dc0605e5409c/tools/coqdoc/cpretty.mll#L35-L43

view this post on Zulip Paolo Giarrusso (Jul 25 2020 at 15:19):

No clue but seems like it should be s.[i+1] != '\n' ? (Sorry for my bad OCaml)

view this post on Zulip Paolo Giarrusso (Jul 25 2020 at 15:20):

*not sure, I guess

view this post on Zulip Li-yao (Jul 25 2020 at 16:35):

:/ you're right, it should be <> '\n'


Last updated: Nov 29 2023 at 06:01 UTC