Closed talex5 closed 2 weeks ago
path.mli says:
In Eio, the directory separator is always "/", even on Windows.
However, Path.(/) used Filename.concat to create paths, which uses the native separator ("\" on Windows).
Path.(/)
Filename.concat
path.mli says:
However,
Path.(/)
usedFilename.concat
to create paths, which uses the native separator ("\" on Windows).