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.

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

[BUG]: DataLogManager type hints do not indicate it can't be constructed #117

Open
TheTripleV opened this issue Dec 19, 2024 · 2 comments
Open

Comments

@TheTripleV
Copy link
Member

Problem description

import wpilib
class Robot(wpilib.TimedRobot):
    def __init__(self, period = 0.02):
        super().__init__()
        wpilib.DataLogManager()

wpilib.DataLogManager() can't be constructed but there's no type error.

The pyi for DataLogManager needs a __init__: None in it

Operating System

Windows

Installed Python Packages

No response

Reproducible example code

No response

@virtuald
Copy link
Member

This feels like a stubgen bug?

@auscompgeek
Copy link
Member

Is it even possible to introspect the class and see there's no constructor? AFAICT from Python it looks like __init__ is defined. It even exists in wpilib.DataLogManager.__dict__.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants