Andreas Abel

Compatibility with `optparse-applicative-0.18`

5

`optparse-applicative-0.18` switched to `prettyprinter`, so some reexports are missing now. - https://github.com/pcapriotti/optparse-applicative/issues/481 ``` Building library for xrefcheck-0.2.2.. [17 of 19] Compiling Xrefcheck.CLI ( src/Xrefcheck/CLI.hs, /Users/abel/bin/src/xrefcheck/dist-newstyle/build/x86_64-osx/ghc-9.2.8/xrefcheck-0.2.2/build/Xrefcheck/CLI.o, /Users/abel/bin/src/xrefcheck/dist-newstyle/build/x86_64-osx/ghc-9.2.8/xrefcheck-0.2.2/build/Xrefcheck/CLI.dyn_o ) src/Xrefcheck/CLI.hs:34:46: error: Module...

Blocked on: - [x] https://github.com/sol/doctest/issues/420

``` lib/Distribution/Server/Util/CabalRevisions.hs:181:21: error: [GHC-83865] • Couldn't match expected type: Maybe a1 -> [PackageCheck] with actual type: [PackageCheck] • The function ‘checkPackage’ is applied to two visible arguments, but its type...

Seems to just duplicate the functionality of `cabal upload`. Closes #65.

Remove or rename `push-candidate` command

1

The `hackage-cli` command `push-candidate` is in the way of `push-cabal` when tab-completing `hackage-cli push` or even `hackage-cli push-ca`. Also, I never use it and I do not see what its...

`cabal upload` asks for the password if not stored in `.cabal/config`. I'd prefer this behaviour for `hackage-cli`, too. That is, if password is missing in `.netrc` then `haskage-cli` should ask...

Currently (2022-01-27) the `--verbose` option has no effect. What should `--verbose` do? (Please extend list.) - [ ] `pull-cabal`: print filename that has just been downloaded. Helpful if hundreds of...

Generating `Num (SBV a)` instances "generically"

8

(This is my first attempt to use `sbv`.) I am hitting an _impossible_ in `sbv-10.10` in the internal `sh` function: ``` $ git clone [email protected]:andreasabel/sbv-quarter-circle-puzzle.git $ cd sbv-* $ git...

Testsuite: heads up: with GHC 9.10, `throw` will print a callstack

2

https://github.com/agda/agda/blob/8c413d4d5cc2db6c7ca309667b4c9fb1c6666bf4/src/full/Agda/Utils/IO/UTF8.hs#L70 This will produce for issue #4506: ``` Failed to read .../test/Fail/Issue4506.agda. Please ensure that this file uses the UTF-8 character encoding. HasCallStack backtrace: collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:92:13 in ......