pytorch / pytorch/pytorch

PyreFly results are dependent on local python version

Open
#167,670 0 comments 0 reactions 0 assignees View on GitHub
module: ci module: lint triaged
Dominant language
Python
Stars
103k
Forks
29.5k
PR merge metrics
PR metrics pending

Description

### 🐛 Describe the bug

According to the [doc](https://pyrefly.org/en/docs/configuration/) it should respect the `python-version`, but it's not
```
% python --version; pyrefly --version; pyrefly check --python-version 3.10 torch/_dynamo/variables/lists.py
Python 3.14.0
pyrefly 0.36.2
ERROR No matching overload found for function `int.__new__` [no-matching-overload]
--> torch/_dynamo/variables/lists.py:324:37
|
324 | ConstantVariable(int(x.value)) if isinstance(x, ConstantVariable) else x
| ^^^^^^^^^
|
Possible overloads:
```
vs
```
% python --version; pyrefly --version; pyrefly check --python-version 3.10 torch/_dynamo/variables/lists.py
Python 3.12.12
pyrefly 0.36.2
INFO 0 errors (9 ignored)
```

### Versions

CI

cc @seemethere @pytorch/pytorch-dev-infra

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.