Gaëtan Gilbert (Jul 25 2020 at 12:15): 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
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)
Paolo Giarrusso (Jul 25 2020 at 15:20):*not sure, I guess
Li-yao (Jul 25 2020 at 16:35)::/ you're right, it should be <> '\n'
Last updated: Nov 29 2023 at 06:01 UTC