search

danr / geniplate

Use TH to generate uniplate-like functions.
BSD 3-Clause "New" or "Revised" License
5 stars 5 forks source link

Stop maintaing geniplate #19

Open L-TChen opened 4 months ago

L-TChen commented 4 months ago

As a maintainer of geniplate-mirror and Agda, I'd like to stop maintaining geniplate-mirror after the latest version compatible with GHC 9.8.2 is released.

This package had been used mainly by Agda until 2.6.2, released on Jun 19, 2021. According to Hackage, there are three other packages depending on geniplate-mirror, including

  1. acme-everything: it is a joke package that depends on all packages on Hackage;
  2. tip-haskell-frontend, tip-lib: these two packages were last updated in 2015.

It is unlikely that any GHC newer than 9.8.2 will be used to compile a three-year-old Agda, so it should be OK to give up maintaining geniplate-mirror.

Should anyone is still interested in maintaining this package, please contact @danr.

danr commented 3 months ago

Thank you for your efforts @L-TChen. Do you know if Agda have stopped using geniplate?

L-TChen commented 3 months ago

Thank you for your efforts @L-TChen. Do you know if Agda have stopped using geniplate?

Yes, it stops using geniplate around 3 years ago (2.6.2).

danr commented 3 months ago

Thanks, then I don't think it needs to be maintained any more.