You're viewing the discuss.systems public feed.

mccmcc@mastodon.social
Oct 14, 2026, 10:34 PM
@dysfun @Andrev setting scheme = "chezscheme" and codegen = "chez" appears to have fixed the problem. i can now use either idris2 or pack and it works. no #!/usr/bin bug. i am a little concerned whether other things are subtly broken somewhere.
💬 2🔄 0⭐ 1

Replies

gaytabasedysfun@treehouse.systems
Oct 14, 2026, 10:36 PM
@mcc @Andrev tbh, if it works at all and isn't using racket, that's the bit i'd have expected to break.
💬 0🔄 0⭐ 0
Andre VidelaAndrev@types.pl
Oct 14, 2026, 10:37 PM
@mcc @dysfun In case things break pack --bootstrap update can fix a lot of things.
💬 1🔄 0⭐ 0
Andre VidelaAndrev@types.pl
Oct 14, 2026, 10:41 PM
@mcc @dysfun By the way, since you mentionned you don't have an ipkg file: You will need one to use lsp, you can try:
- idris2 --init and set the source directory in src and place your .idr files there
- pack new bin helloWorld and that will setup a whole project for you including pack.toml, helloWorld.ipkg and test folders
💬 1🔄 0⭐ 0
Andre VidelaAndrev@types.pl
Oct 14, 2026, 10:42 PM
@mcc @dysfun ah and finally, to install lsp, try
```
pack install-app idris2-lsp
```
The name of the binary is idris2-lsp, that's the main piece of info your editor needs to have LSP work. The compiler will run on save
💬 0🔄 0⭐ 0