Nicolás Ojeda Bär
Nicolás Ojeda Bär
As a refernece, another library that exposes these primitives is https://github.com/OCamlPro/ocplib-endian.
> I understand it's not easy to produce a nicer error in this case, but it could have been nice with a transition period where a user would be warned...
Do you understand why the extension matters?
@MisterDA just to rule out something in your environment, can you try reproducing by calling the command in question directly from `cmd.exe` ? (ie execute `cmd.exe /C ""_build\src\tool\cmdliner ....""` in...
Do you get the error with all commands? eg `cmd.exe /C ""foo\bar""` where `foo/bar.exe` exists?
> because `.exe` is in `PATHEXT`. Sorry, but is it the case that the executable `_build\src\tool\cmdliner` does not have the `.exe` extension on disk? (Sorry for all the questions, but...
> With mingw, `_build/src/tool/cmdliner.exe` gets the `.exe` extension! Just to make sure I understand: this means that the executable on disk has the `.exe` extension, or that `Sys.command` manages to...
> With `system-mingw` the executable on disk has the `.exe` extension, with `system-msvc` the executable on disk doesn't have the extension. I see. This is because `gcc` (from `mingw-w64`) automatically...
> > This is because `gcc` (from `mingw-w64`) automatically adds this extension, but `cl` does not. The fix is to always add the extension in the build system (when under...
We already have `List.concat_map` for an arbitrary number of lists (also TRMC). My feeling is that having a specialized version of this for the case of two lists is not...