Open andreasabel opened 2 hours ago
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
withError
@since
mtl
mtl-2.2.2
Probably some more functions that entered in mtl-2.3 need such an annotation.
mtl-2.3
ATTN: @emilypi
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 inmtl
forever, e.g. missing still inmtl-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:423Probably some more functions that entered in
mtl-2.3
need such an annotation.