8000
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
@typeclass
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
When defining a typeclass, it is easy to forget that @typeclass definition must not have a body.
Probably, we can check it with mypy.
mypy
So, this must be an error:
@typeclass def some(instance) -> None: x = 1
The text was updated successfully, but these errors were encountered:
Closes #244, closes #241
66fdb5d
9542917
Successfully merging a pull request may close this issue.
When defining a typeclass, it is easy to forget that
@typeclass
definition must not have a body.Probably, we can check it with
mypy
.So, this must be an error:
The text was updated successfully, but these errors were encountered: