Re-enable lint in dev env

Author: crusaderky

.github/workflows/ci.yml

@@ -37,9 +37,9 @@ jobs:
           environments: lint
       - name: Run Pylint, Mypy & Pyright
         run: |
-          pixi run pylint
-          pixi run mypy
-          pixi run pyright
+          pixi run -e lint pylint
+          pixi run -e lint mypy
+          pixi run -e lint pyright
 
   checks:
     name: Check ${{ matrix.environment }}

docs/contributing.md

@@ -106,7 +106,7 @@ pixi run pre-commit-install
 - To run the lint suite:
 
 ```
-pixi run lint
+pixi run -e lint lint
 ```
 
 - To enter an interactive Python prompt:
@@ -118,10 +118,10 @@ pixi run ipython
 - To run individual parts of the lint suite separately:
 
 ```
-pixi run pre-commit
-pixi run pylint
-pixi run mypy
-pixi run pyright
+pixi run -e lint pre-commit
+pixi run -e lint pylint
+pixi run -e lint mypy
+pixi run -e lint pyright
 ```
 
 Alternative environments are available with a subset of the dependencies and
@@ -130,5 +130,10 @@ tasks available in the `dev` environment:
 ```
 pixi shell -e docs
 pixi shell -e tests
+pixi shell -e tests-backends
 pixi shell -e lint
 ```
+
+If you run on a host with CUDA hardware, you can enable extra tests:
+
+pixi shell -e dev-cuda pixi shell -e tests-cuda pixi run -e tests-cuda tests

pixi.lock

@@ -53,9 +53,7 @@ array-api-compat = ">=1.10.0,<2"
 [tool.pixi.pypi-dependencies]
 array-api-extra = { path = ".", editable = true }
 
-# lint-env: pixi hack to composite the dev environment on top of lint
-# without being asked if you want to run lint tasks in dev
-[tool.pixi.feature.lint-env.dependencies]
+[tool.pixi.feature.lint.dependencies]
 pre-commit = "*"
 pylint = "*"
 basedmypy = "*"
@@ -154,11 +152,11 @@ cupy = "*"
 
 [tool.pixi.environments]
 default = { solve-group = "default" }
-lint = { features = ["lint", "lint-env"], solve-group = "default" }
+lint = { features = ["lint"], solve-group = "default" }
 tests = { features = ["tests"], solve-group = "default" }
 docs = { features = ["docs"], solve-group = "default" }
-dev = { features = ["lint-env", "tests", "docs", "dev", "backends"], solve-group = "default" }
-dev-cuda = { features = ["lint-env", "tests", "docs", "dev", "backends", "cuda-backends"] }
+dev = { features = ["lint", "tests", "docs", "dev", "backends"], solve-group = "default" }
+dev-cuda = { features = ["lint", "tests", "docs", "dev", "backends", "cuda-backends"] }
 tests-py310 = ["py310", "tests"]
 tests-py313 = ["py313", "tests"]
 # CUDA not available on free github actions and on some developers' PCs

pyproject.toml

@@ -107,7 +107,8 @@ def xp(library: Backend) -> ModuleType:  # numpydoc ignore=PR01,RT03
     if library == Backend.JAX_NUMPY:
         import jax
 
-        jax.config.update("jax_enable_x64", True)
+        # suppress unused-ignore to run mypy in -e lint as well as -e dev
+        jax.config.update("jax_enable_x64", True)  # type: ignore[no-untyped-call,unused-ignore]
 
     # Possibly wrap module with array_api_compat
     return array_namespace(xp.empty(0))