[ Feature Request ] Windows support

[j-nava]

The installation script works just fine in MSYS2, which is a great step forward, but pack itself fails with the message "[ fatal ] Failed to figure out package directory."

The problem seems to be the filepath library, which only supports Linux-style paths when parsing. Even in MSYS2, environment variables are unfortunately separated by "\", so I believe there's currently no workaround to get pack working.

Is Windows support something we would like to pursue? If so, what would be a good first step? Modifying filepath, adding a new cmd argument to pack, or other solution?

[stefan-hoeck]

Sorry for the late reply. Obviously, I'm not a Windows users, so I won't myself be able to test / maintain Windows support. This means that if Windows support breaks and nobody is around to fix it, I'll have to drop it. But I'll definitely accept contributions in this regard.

Currently, I think there are two issues that need to be addressed: First, as you correctly wrote, the idris2-filepath library currently only supports Unix-style file paths. Contributions there are very welcome. Second, many IO operations in Pack.Core.IO (and possibly in Pack.Core.Git) are implemented as syscalls to typical Unix utilities. These would need to be changed in such a way that the syscalls being made work correctly on Windows (if we are on a Windows system).

Finally, I'll only accept contributions together with an update to the docs and an inclusion in our CI tests.

Edit: That being said, I'll of course help with setting up this stuff and figuring the places in the code that need to be adjusted.

[isberg]

For anyone else struggling on Windows: I solved it by using docker and base image ghcr.io/stefan-hoeck/idris2-pack. I then created my own image where I installed neovim and let pack install idris2-lsp.