This is just a tracking issue; not sure where in the roadmap it might go.
Motivation:
Picking up an earlier area of exploration, it would be nice to make some cleanups to the Agda codebase 脿 la #3512 (_Heavy coupling鈥). -Wunused-imports and -Wunused-binds are helpful to that effort (specifically, to prevent improvements from backsliding). Originally some effort around that was WIP-ed in #3527 before I was pulled into other work, and @L-TChen then implemented the flags in #3917 and #3922.
However, the flags were reverted (possibly with some others) in 8b7ef09e due to #3977, which is noted to be a GHC 8.0.2 bug. When 8.0.2 is dropped, presumably those flags can be re-enabled.
Roadmap Considerations:
@jespercockx made a comment in that issue:
We could have a discussion about dropping support for 8.0.2, but note that it is still the default GHC version in the latest LTS release of Ubuntu, and the next LTS is not here until next spring.
For context, that comment was made in Aug 2019 but may still be relevant.
So this may need to stick around a little longer. But now there's an issue to track it.
rwe
All 2 comments
Another note on this: GHC-8.0.2 includes Cabal 1.24.2.0.
The subsequent GHC version in Agda.cabal is GHC-8.2.2, which includes Cabal 2.0.1.0. So dropping GHC-8.0.2 would also imply that support for Cabal 1.x could be dropped.
rwe
on 18 Jul 2020
We could have a discussion about dropping support for 8.0.2, but note that it is still the default GHC version in the latest LTS release of Ubuntu, and the next LTS is not here until next spring.
For context, that comment was made in Aug 2019 but may still be relevant.
Note that even though the latest 20.04 LTS release of Ubuntu is now available, people currently using the 18.04 LTS release will not be offered to upgrade before the first point release of 20.04, which is scheduled for August 6th 2020. So I think that dropping support for 8.0.2 should definitely wait until at least a few weeks after August 6th, to give people a chance to upgrade their system.
guillaumebrunerie
on 19 Jul 2020
Related issues
MaiaVictor
路
3Comments
xekoukou
路
3Comments
mdimjasevic
路
3Comments
GoogleCodeExporter
路
4Comments
andreasabel
路
3Comments
Most helpful comment
Note that even though the latest 20.04 LTS release of Ubuntu is now available, people currently using the 18.04 LTS release will not be offered to upgrade before the first point release of 20.04, which is scheduled for August 6th 2020. So I think that dropping support for 8.0.2 should definitely wait until at least a few weeks after August 6th, to give people a chance to upgrade their system.