New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

`withError` lacks a `@since` annotation #156

Open

andreasabel opened this issue Sep 30, 2024 · 3 comments

Member

andreasabel commented Sep 30, 2024 •

edited

Loading

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 functions that entered in mtl-2.3 need such an annotation.

The text was updated successfully, but these errors were encountered:

Member Author

andreasabel commented Sep 30, 2024

andreasabel mentioned this issue

Refactor ArgsCheckState to use a single list of CheckedArg agda/agda#7519

Merged

Member

emilypi commented Sep 30, 2024

I can add an annotation here. Any gripes @kozross?

Collaborator

kozross commented Oct 1, 2024

None from me.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment