Release agda2hs 1.1

[jespercockx]

Agda 2.6.4 has been released, so ideally we should release a compatible version of agda2hs soon. Before we do that I still want to look at the currently open bugs (#185 and #201) and fix them if possible.

[jespercockx]

I've created a release candidate which you can find here: https://hackage.haskell.org/package/agda2hs-1.0.20231012/candidate

@jmchapman @omelkonian @flupe @sarajuhosova @wcqaguxa @viktorcsimma and anyone else: If you have the time, could you give it a try to make sure it works okay for you?

[jespercockx]

I've also created a tag for the RC here: https://github.com/agda/agda2hs/tree/v1.0.20231012

[jespercockx]

Oh and before someone asks for a changelog, you can take a look at https://github.com/agda/agda2hs/issues?q=milestone%3A1.1 for now :)

[omelkonian]

1. git checkout v1.0.20231012 && make test terminates successfully.
2. wget https://hackage.haskell.org/package/agda2hs-1.0.20231012/candidate/agda2hs-1.0.20231012.tar.gz -O - | tar -xz && cd agda2hs-1.0.20231012 && cabal build terminates successfully, although it's a pity that we cannot do cabal test as well since we are relying on a custom-grown golden testing using the Makefile (is this how Agda does it as well?).

Looking at the previous version 1.0 on Hackage, it seems the Haddock is missing, so make sure you upload the documentation (i.e. cabal upload -d):

PACKAGE=agda2hs
curVersion=$(grep "^version" $PACKAGE.cabal | cut -d: -f2 | tr -d "[:blank:]")
prevVersion=$(git show HEAD^:$PACKAGE.cabal | grep "^version" | cut -d: -f2 | tr -d "[:blank:]")
if [[ $curVersion != $prevVersion ]]; then
  echo "Version has changed, publishing to Hackage."
  cabal new-sdist
  cabal upload -u $HACKAGE_USERNAME -p $HACKAGE_PASSWORD \
    --publish dist-newstyle/sdist/$PACKAGE-$curVersion.tar.gz
  cabal upload -u $HACKAGE_USERNAME -p $HACKAGE_PASSWORD \
    --publish -d dist-newstyle/$PACKAGE-$curVersion-docs.tar.gz
else
  echo "Version has not changed, not publishing to Hackage."
fi

[odderwiser]

There are some braking changes for the tutorial files, I updated them accordingly: #206

[viktorcsimma]

I think the version numbers in the Emacs mode remained 2.6.3 and Emacs complains about this. I'll fix that soon.

[viktorcsimma]

Huh; there seems to be a bigger problem... do you have any ideas? See issue #208.

[jespercockx]

agda2hs 1.1 has been released: https://hackage.haskell.org/package/agda2hs-1.1