Skip to content

sage -tox -e pyright: Update, speed up, isolate#36515

Open
mkoeppe wants to merge 11 commits intosagemath:developfrom
mkoeppe:tox_pyright_update_1
Open

sage -tox -e pyright: Update, speed up, isolate#36515
mkoeppe wants to merge 11 commits intosagemath:developfrom
mkoeppe:tox_pyright_update_1

Conversation

@mkoeppe
Copy link
Copy Markdown
Contributor

@mkoeppe mkoeppe commented Oct 23, 2023 •
edited
Loading

Part split out from #36443 that does not conflict with #36510:

  • Update to today's latest pyright version
  • node.js, as provisioned via https://pypi.org/project/pyright/, no longer accepts a preinstalled node version.
  • node.js is configured to provide sufficient heap size. This reduces the runtime dramatically as pyright no longer has to fight with the garbage collector and eliminates spurious out of memory conditions. (Same change for the CI "Build & Test" is made also in Add pyright ci annotations #36510.)
  • Like the pyright invocation by the CI "Build & Test", it now runs on the entire source tree.
  • It no longer assumes that the Sage library has been built (and no longer uses the Sage venv). It installs the runtime dependencies from the SAGE_SPKG_WHEELS in an isolated tox environment.

📝 Checklist

  • The title is concise, informative, and self-explanatory.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation accordingly.

⌛ Dependencies

tobiasdiez
tobiasdiez reviewed Oct 24, 2023
View reviewed changes
pyrightconfig.json
"reportUndefinedVariable": "warning",
"reportOptionalOperand": "warning",
"reportMissingImports": "warning",
"reportSelfClsParameterName": "none",
Copy link
Copy Markdown
Contributor

@tobiasdiez tobiasdiez Oct 24, 2023 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What's the problem with this check? (I know you had a comment here before explaining it, but even then I didn't understand it)

Copy link
Copy Markdown
Contributor Author

@mkoeppe mkoeppe Oct 24, 2023

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sorry, I lost the commit with the comment, I'll find it.

Copy link
Copy Markdown
Contributor Author

@mkoeppe mkoeppe Oct 24, 2023

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The comment is back and does not need further clarification

@vbraun vbraun force-pushed the develop branch 2 times, most recently from 883e05f to e349b00 Compare November 12, 2023 16:25
@kwankyu
Copy link
Copy Markdown
Collaborator

kwankyu commented Nov 16, 2023

I get

$ sage -tox -e pyright
pyright: install_deps /Users/kwankyu/GitHub/sage-dev/src> python -I -m pip install pyright -e /Users/kwankyu/GitHub/sage-dev/pkgs/sage-conf -r /Users/kwankyu/GitHub/sage-dev/src/requirements.txt
Looking in links: file:///Users/kwankyu/GitHub/sage-dev/local/var/lib/sage/venv-python3.11/var/lib/sage/wheels
Obtaining file:///Users/kwankyu/GitHub/sage-dev/pkgs/sage-conf
  Installing build dependencies ... done
  Checking if build backend supports build_editable ... done
  Getting requirements to build editable ... done
  Preparing editable metadata (pyproject.toml) ... done
Ignoring pycygwin: markers 'sys_platform == "cygwin"' don't match your environment
Collecting pyright
  Using cached pyright-1.1.336-py3-none-any.whl.metadata (5.7 kB)
ERROR: Could not find a version that satisfies the requirement cypari2==2.1.4 (from versions: 1.0.0, 1.1.0, 1.1.1, 1.1.2, 1.1.3, 1.1.4, 1.2.0, 1.2.1, 1.3.0, 1.3.1, 2.0.0, 2.0.1, 2.0.2, 2.0.3, 2.1.0, 2.1.1, 2.1.2, 2.1.3)
ERROR: No matching distribution found for cypari2==2.1.4

pyright: exit 1 (4.65 seconds) /Users/kwankyu/GitHub/sage-dev/src> python -I -m pip install pyright -e /Users/kwankyu/GitHub/sage-dev/pkgs/sage-conf -r /Users/kwankyu/GitHub/sage-dev/src/requirements.txt pid=61859
  pyright: FAIL code 1 (4.73 seconds)
  evaluation failed :( (4.83 seconds)

@kwankyu
Copy link
Copy Markdown
Collaborator

kwankyu commented Nov 16, 2023 •
edited
Loading

Sorry, but the latest version is now 1.1.336...

@github-actions
Copy link
Copy Markdown

github-actions bot commented Dec 13, 2023

Documentation preview for this PR (built with commit abae734; changes) is ready! 🎉

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@kwankyu kwankyu Awaiting requested review from kwankyu

@dimpase dimpase Awaiting requested review from dimpase

1 more reviewer

@tobiasdiez tobiasdiez tobiasdiez left review comments

Reviewers whose approvals may not affect merge requirements

Assignees

@mkoeppe mkoeppe

Labels

c: scripts s: needs review s: needs work

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@mkoeppe @kwankyu @tobiasdiez @dimpase