Adds a dump-ipkg-json option. It would be helpful to be able to "export" Idris2's package information in a format that is fairly universally understood. I have one definite use-case in mind, but I suspect that having authoritative access to this information would be useful in any number of build environments where build tooling is not written as an Idris app directly based on the compiler's API.
Should this change go in the CHANGELOG?
[x] If this is a fix, user-facing change, a compiler change, or a new paper
implementation, I have updated CHANGELOG_NEXT.md (and potentially also
CONTRIBUTORS.md).
Description
Adds a
dump-ipkg-json
option. It would be helpful to be able to "export" Idris2's package information in a format that is fairly universally understood. I have one definite use-case in mind, but I suspect that having authoritative access to this information would be useful in any number of build environments where build tooling is not written as an Idris app directly based on the compiler's API.Should this change go in the CHANGELOG?
CHANGELOG_NEXT.md
(and potentially alsoCONTRIBUTORS.md
).