Open lostmygithubaccount opened 2 days ago
IMO this can only help :p. Do you mind giving a little context on how a person gets to this polars install? (Do you install with a flag, or install a special pypi package?).
@rich-iannone do you mind reviewing? (seems okay to me, since it's a fallback behavior)
edit: oh wait, I see from the issue it's from installing https://pypi.org/project/polars-u64-idx/ . seems like into okay fix for now imo
Summary
drive-by attempt at solving the issue I created. I'm sure there's a cleaner way to write this, but it unblocks me. feel free to push to this PR/request changes/close in favor of a better solution!
Related GitHub Issues and PRs
closes #387
Checklist