idris2-pack
idris2-pack copied to clipboard
stefan-hoeck
Beware of bikeshedding! When contributing to `pack`, I try to preserve existing code style. But there is one thing that makes this annoying and hard for me: it is the...
Imagine you have selected some collection and have built a local package using `pack build` command. Its result now is stored in the `build` directory and uses current's compiler version...
When specifying the [idris-jvm backend](https://github.com/mmhelloworld/idris-jvm) as the idris2 url for a package set, building an Idris2 project with `pack` causes the build to fail with the following error: ``` 43/95:...
Right now the tendency is to name the ipkg file as `$package.ipkg`. Eg [pack](https://github.com/stefan-hoeck/idris2-pack/blob/main/pack.ipkg), [idrall](https://github.com/alexhumphreys/idrall/blob/main/idrall.ipkg), [idris2](https://github.com/idris-lang/Idris2/blob/main/idris2.ipkg). This makes some sense for repos where there's multiple packages, but maybe as a...
Currently, for something like ``pack repl``, you have options like `--rlwrap` which only apply to that command; and the way you use it is via ``pack --rlwrap repl``, which for...
Codegens for different backends would be nice, currently it does not compile dependencies according to the backend selected for the target binary.
This fails to build on my system, but I'll add it as a draft to continue working on it later on.
At the moment, the Idris2 installer will always use Chez Scheme. This should not be too hard to fix.
Trying install idris2 with racket on Fedora with racket 7.9 (tested on FC38 and FC39, on several desktops, `racket-7.9-1.fc38.x86_64`, `racket-7.9-1.fc39.x86_64`) Compilation `raco exe idris2_app/idris2-boot.rkt` from `./bootstrap-stage1-racket.sh` hangs with 100% CPU...
Rather than checking which packages your specific os/ linux distro comes with and having to install the rest, i think it would be ideal if we had the option to...
