search

meraymond2 / idris-vscode

Idris front-end for VS Code
MIT License
59 stars 10 forks source link

Configurable proc args #82

Closed meraymond2 closed 2 years ago

meraymond2 commented 2 years ago

For small programs, packages can be passed directly to the Idris compiler rather than recorded in an .ipkg file (see https://github.com/meraymond2/idris-vscode/issues/80). In order for the extension to support this, I'm adding a configuration option to allow passing arbitrary options to the Idris process.

image

The required flags will still be passed in automatically.

Arrow7000 commented 2 years ago

Hey, thanks for making this change! However this option doesn't actually seem to be present in the marketplace version I've downloaded.

Is there maybe something wrong with the deployment pipeline?

Screenshot 2022-06-13 at 15 00 14
meraymond2 commented 2 years ago

I just forgot to publish it :facepalm:, try downloading the latest version, 0.0.13.

Arrow7000 commented 2 years ago

That worked :) thanks for publishing!