dune icon indicating copy to clipboard operation
dune copied to clipboard

Published 20 hours ago • verified publisher icon ocaml

test(coq): Demonstrate bug in coqdep parsing when paths contain spaces

Open ejgallego opened this issue 2 years ago • 2 comments

ejgallego avatar Nov 28 '23 17:11 ejgallego

Yeah that's a bug. I don't suggest merging until we have a fix ready.

Alizter avatar Nov 28 '23 17:11 Alizter

Yeah that's a bug. I don't suggest merging until we have a fix ready.

It seems we need to split before doing the unescaping, I am not sure what is the best approach to this, would a regex suffice?

ejgallego avatar Nov 28 '23 18:11 ejgallego