Andreas Abel

`withError` lacks a `@since` annotation

3

`withError` lacks a `@since` annotation: https://hackage.haskell.org/package/mtl-2.3.1/docs/Control-Monad-Error-Class.html#v:withError I think this hasn't been in `mtl` forever, e.g. missing still in `mtl-2.2.2`: https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-Error-Class.html#v:withError Hit me in the wild at: https://github.com/agda/agda/actions/runs/11103657461/job/30846087778?pr=7519#step:11:423 Probably some more...

Handle GHC 9.8's x-partial warning, requires dropping GHC 7

3

Fixing a use of `tail` in the library. In the test-suite, `tail []` is intended, so switch off the `x-partial` there. Ignoring `-Wx-partial` on older GHCs requires `-Wno-unrecognised-warning-flags`, which entered...

Both ghcup 0.1.19.4 and .5 are latest and recommended

1

``` $ ghcup list ✗ ghcup 0.1.19.4 latest,recommended ✔✔ ghcup 0.1.19.5 latest,recommended ```

``` stm/tests[master]$ ./runtests.sh using GHC version: 9.10.1 == running test 'T15136' Loaded package environment from /Users/abel/bin/src/stm/.ghc.environment.x86_64-darwin-9.10.1 [1 of 2] Compiling Main ( T15136.hs, T15136.o ) [2 of 2] Linking T15136...

Support GHC 9.12

1

> [__5] rejecting: base-4.21.0.0/installed-cc73 (conflict: scientific => base>=4.15 &&