Idris2 icon indicating copy to clipboard operation
Idris2 copied to clipboard

Published 20 hours ago • verified publisher icon idris-lang

`--whole-program` should overwrite package options

Open Z-snails opened this issue 3 years ago • 1 comments

If I'm building a package, I don't want to have to edit it the package file to make idris do whole program compilation For example if I'm compiling the idris compiler (not while developing it) I want it to be whole program compiled

see https://github.com/idris-lang/Idris2/blob/main/src/Idris/Package.idr#L781

Z-snails avatar May 27 '22 16:05 Z-snails

If I'm understanding this ask correctly, you want idris2 to accept --whole-program at the CLI and have that take precedence over conflicting settings in the ipkg file?

ProofOfKeags avatar Jun 27 '22 21:06 ProofOfKeags