Since this has apparently been blocking agda release for over a month, i've
taken action.
Note that because Lennart doesnt have a publicly available repository for
geniplate, 0.6.0.4 is just a bumped version of 0.6.0.3,
This does raise the question of what the default hackage admin/trustee
policy for libraries that need a fix like this should be, where the
maintainer is active in the community but is hard to reach for a month or
so.
(and whether any particular default policy should be "opt in" vs "opt out".)
anyways, ship the new agda goodness please :)
On Sat, May 3, 2014 at 1:27 PM, Carter Schonwald wrote: ok, cool! NB: i will try to email lennart one more time after the "block
leave" on his auto reply is over (at EdwardK's suggestion), so may 6th, and
if that doesn't get a reply in a day or so, i've the thumbs up from 2+ core
libraries committee members to push the fix myself On Sat, May 3, 2014 at 7:30 AM, Andreas Abel Dear Carter, thanks for taking care of this. I have no desire of becoming
maintainer of geniplate. The only changes to geniplate required are version bumps. The new
cabal file has been attached to several of my message, and also in the
one publicly linked (far) below, but voila, here is it again. It also puts some constraints on mtl to avoid using the broken 2.1. Cheers,
Andreas P.S.: Sorry for the slow response, I have been moving and had problems
sending email. On 01.05.2014 01:15, Carter Schonwald wrote: looks like "I will be on block leave from April 18 to May 5." for
Lennart could you link me to the fixes needed? I'll ping several other admins
for their thoughts, and then if its reasonable i'll do the upload On Wed, Apr 30, 2014 at 7:11 PM, Carter Schonwald
since i don't recall seeing the original thread on the libraries
list (seriously, i never saw it on the libraries list!), and i don't
see the email to lennart, i'm CCing lennart to double check, @andreas, what fixes are needed to Geniplate, could you provide a
link? If they're conservative, I can upload them as a trustee later
this evening, and then we can sort out maintainership in the next
week (and not have Agda's ghc-7.8 friendly release be blocked). On Wed, Apr 30, 2014 at 5:20 PM, Andreas Abel
Dear hackage admins, [CC: libraries@haskell.org
mailto:libraries@haskell.org] Another week has passed without action from either package
maintainer
or hackage admins. Am I following this protocol correctly? http://www.haskell.org/haskellwiki/Taking_over_a_package If I am lacking, let me know where, otherwise please do your part. Sincerly,
Andreas On 23.04.2014 18:35, Andreas Abel wrote: Dear Lennart, since we want to release Agda-2.3.4 soon to work with ghc-7.8, we
need a version of geniplate that works with new template haskell.
All that is required is an update of version bounds in the cabal
file (attached). Since you have not responded to our request, I am following
procedure to be able to upload an updated version of geniplate. Dear Hackage admins, here is proof of my public request for the update of geniplate: http://osdir.com/ml/libraries@haskell.org/2014-04/msg00191.html Please give me rights to upload a new version or do the dependency
bumps yourself (new cabal file attached). Cheers, AndreasAbel (hackage account id) _______________________________________________
Libraries mailing list
Libraries@haskell.org mailto:Libraries@haskell.org
http://www.haskell.org/mailman/listinfo/libraries --
Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden andreas.abel@gu.se
http://www2.tcs.ifi.lmu.de/~abel/ --
Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden andreas.abel@gu.se
http://www2.tcs.ifi.lmu.de/~abel/