Skip to content
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

Type hints not recognized #393

Closed
senier opened this issue Aug 10, 2020 · 0 comments · Fixed by #394
Closed

Type hints not recognized #393

senier opened this issue Aug 10, 2020 · 0 comments · Fixed by #394
Assignees
@treiher
Labels
bug
Projects
RecordFlux 0.5

Comments

@senier
Copy link
Member

senier commented Aug 10, 2020

When using RecordFlux in an external program, typchecking does not work:

mypy --pretty tests
tests/test_asn1.py:1: error: Skipping analyzing 'rflx.pyrflx': found module but no type hints or library stubs                                                               
    from rflx.pyrflx import PyRFLX
    ^
tests/test_asn1.py:1: note: See https://mypy.readthedocs.io/en/latest/running_mypy.html#missing-imports                                                                      
Found 1 error in 1 file (checked 2 source files)
@senier senier created this issue from a note in RecordFlux 0.5 (To do) Aug 10, 2020
@senier senier added the bug label Aug 10, 2020
@treiher treiher self-assigned this Aug 10, 2020
@treiher treiher moved this from To do to In progress in RecordFlux 0.5 Aug 10, 2020
@treiher treiher moved this from In progress to Ready in RecordFlux 0.5 Aug 10, 2020
treiher added a commit that referenced this issue Aug 10, 2020
@treiher
Enable type checking for users of rflx package
3f6e0d9 
This makes the package compatible to PEP 561.

Ref. #393
@treiher treiher mentioned this issue Aug 10, 2020
Merged
RecordFlux 0.5 automation moved this from Ready to Merged Aug 11, 2020
treiher added a commit that referenced this issue Aug 11, 2020
@treiher
Enable type checking for users of rflx package
c617be0 
This makes the package compatible to PEP 561.

Ref. #393
@treiher treiher mentioned this issue Aug 4, 2021
Closed
9 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@treiher treiher

Labels
bug
Projects
No open projects
RecordFlux 0.5
  
Merged
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 393: Enable type checking for users of rflx package AdaCore/RecordFlux
2 participants
@senier @treiher