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

Errors with a type checker #83

Open
kiyoon opened this issue Dec 2, 2024 · 0 comments
Open

Errors with a type checker #83

kiyoon opened this issue Dec 2, 2024 · 0 comments

Comments

@kiyoon
Copy link

kiyoon commented Dec 2, 2024

If you ever use a type checker, such as basedpyright, the polarify function will make lots of errors.

image

It's because pl.Expr type is not directly comparable. Removing the type will remove errors (as long as your project allows untyped functions.)

image

I wonder if there's any fix for this? Maybe when it's not typed, the output function is assumed to be pl.Expr?

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

1 participant