This makes some improvements to the output of the --list-packages Idris2 option. Mostly, my aim was to make it more apparent when different "advanced" installs of Idris and libraries has created a problem because libraries aren't installed with the same TTC version as Idris2. The improvements also make it clear when you have multiple installs of a library in your package path and where these libraries are -- useful because Idris only "sees" the first one it encounters.
Before, an example of output for a complex install might be:
base (Just 0.7.0)
base (Just 0.7.0)
contrib (Just 0.7.0)
contrib (Just 0.7.0)
linear (Just 0.7.0)
linear (Just 0.7.0)
network (Just 0.7.0)
network (Just 0.7.0)
prelude (Just 0.7.0)
prelude (Just 0.7.0)
test (Just 0.7.0)
test (Just 0.7.0)
After (I've mucked with the TTC folders to illustrate the output's utility):
What doesn't show up above is that mismatched versions of TTC show up in yellow given a terminal that supports colors.
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).
gallais
commented
5 months ago
Description
This makes some improvements to the output of the
--list-packagesIdris2 option. Mostly, my aim was to make it more apparent when different "advanced" installs of Idris and libraries has created a problem because libraries aren't installed with the same TTC version as Idris2. The improvements also make it clear when you have multiple installs of a library in your package path and where these libraries are -- useful because Idris only "sees" the first one it encounters.Before, an example of output for a complex install might be:
After (I've mucked with the TTC folders to illustrate the output's utility):
What doesn't show up above is that mismatched versions of TTC show up in yellow given a terminal that supports colors.
Should this change go in the CHANGELOG?
CHANGELOG_NEXT.md(and potentially alsoCONTRIBUTORS.md).