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

Proper resource handling #197

Open
JSAbrahams opened this issue Feb 13, 2020 · 0 comments
Open

Proper resource handling #197

JSAbrahams opened this issue Feb 13, 2020 · 0 comments
Assignees
@JSAbrahams
Labels
enhancement: check New feature in the type check module
Milestone
v0.5 | Import man...

Comments

@JSAbrahams
Copy link
Owner

Current Issue

We don't check whether a resource implements __enter__ and __exit__.

High-level description of the feature

Check that resource type implements __enter__ and __exit__ when using it as a resource.

Description of potential implementation

Add two extra constraints for these magic functions.
@JSAbrahams JSAbrahams added the enhancement: check New feature in the type check module label Feb 13, 2020
@JSAbrahams JSAbrahams added this to the v0.3.0 milestone Feb 13, 2020
@JSAbrahams JSAbrahams self-assigned this Feb 13, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JSAbrahams JSAbrahams

Labels
enhancement: check New feature in the type check module
Projects
None yet
Milestone
v0.5 | Import management
Development

No branches or pull requests
1 participant
@JSAbrahams