Skip to content

Towards grudge typing #1865

Towards grudge typing

Towards grudge typing #1865

Triggered via pull request June 26, 2025 03:17
Status Cancelled
Total duration 2m 22s
Artifacts

ci.yml

on: pull_request
Matrix: downstream_tests
Fit to window
Zoom out
Zoom in

Annotations

38 errors and 33 warnings
basedpyright: arraycontext/impl/pytato/compile.py#L260
Cannot access attribute "shape" for class "float"   Attribute "shape" is unknown (reportAttributeAccessIssue)
basedpyright: arraycontext/impl/pytato/compile.py#L260
Cannot access attribute "shape" for class "int"   Attribute "shape" is unknown (reportAttributeAccessIssue)
basedpyright: arraycontext/impl/pytato/compile.py#L260
Cannot access attribute "shape" for class "_UserDefinedArrayContainer"   Attribute "shape" is unknown (reportAttributeAccessIssue)
basedpyright: arraycontext/impl/pytato/compile.py#L260
Argument of type "tuple[Integer | Array, ...] | _AnyShape | Unknown | tuple[()]" cannot be assigned to parameter "shape" of type "ConvertibleToShape" in function "make_placeholder"   Type "tuple[Integer | Array, ...] | _AnyShape | Unknown | tuple[()]" is not assignable to type "ConvertibleToShape"     Type "tuple[Integer | Array, ...]" is not assignable to type "ConvertibleToShape"       "tuple[Integer | Array, ...]" is not assignable to "int"       "tuple[Integer | Array, ...]" is not assignable to "integer[Any]"       "tuple[Integer | Array, ...]" is not assignable to "Array"       "tuple[Integer | Array, ...]" is not assignable to "Sequence[ShapeComponent]"         Type parameter "_T_co@Sequence" is covariant, but "Integer | Array" is not a subtype of "ShapeComponent"           Type "Integer | Array" is not assignable to type "ShapeComponent" (reportArgumentType)
basedpyright: arraycontext/impl/pytato/compile.py#L259
Type "Array" is not assignable to declared type "ArrayOrContainerOrScalar"   Type "Array" is not assignable to type "ArrayOrContainerOrScalar"     "Array" is incompatible with protocol "Array"       "arraycontext.context.Array" is not assignable to "pytato.array.Array"       "arraycontext.context.Array" is not assignable to "pytato.array.Array"       "__len__" is an incompatible type         Type "() -> ShapeComponent" is not assignable to type "() -> int"           Function return type "ShapeComponent" is incompatible with type "int"       "arraycontext.context.Array" is not assignable to "pytato.array.Array" ... (reportAssignmentType)
basedpyright: arraycontext/impl/pytato/__init__.py#L972
Argument of type "ToTagSetConvertible" cannot be assigned to parameter "tags" of type "Iterable[Tag] | Tag" in function "with_tagged_axis"   Type "ToTagSetConvertible" is not assignable to type "Iterable[Tag] | Tag"     Type "None" is not assignable to type "Iterable[Tag] | Tag"       "None" is incompatible with protocol "Iterable[Tag]"         "__iter__" is not present       "None" is not assignable to "Tag" (reportArgumentType)
basedpyright: arraycontext/impl/pytato/__init__.py#L972
Type "Array" is not assignable to return type "Array"   "Array" is incompatible with protocol "Array"     "arraycontext.context.Array" is not assignable to "pytato.array.Array"     "arraycontext.context.Array" is not assignable to "pytato.array.Array"     "__len__" is an incompatible type       Type "() -> ShapeComponent" is not assignable to type "() -> int"         Function return type "ShapeComponent" is incompatible with type "int"           Type "ShapeComponent" is not assignable to type "int"     "arraycontext.context.Array" is not assignable to "pytato.array.Array" ... (reportReturnType)
basedpyright: arraycontext/impl/pytato/__init__.py#L972
Conversion of type `Array` to type `Array` may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to `object` first. (reportInvalidCast)
basedpyright: arraycontext/impl/pytato/__init__.py#L958
Type "Array" is not assignable to return type "Array"   "Array" is incompatible with protocol "Array"     "arraycontext.context.Array" is not assignable to "pytato.array.Array"     "arraycontext.context.Array" is not assignable to "pytato.array.Array"     "__len__" is an incompatible type       Type "() -> ShapeComponent" is not assignable to type "() -> int"         Function return type "ShapeComponent" is incompatible with type "int"           Type "ShapeComponent" is not assignable to type "int"     "arraycontext.context.Array" is not assignable to "pytato.array.Array" ... (reportReturnType)
basedpyright: arraycontext/impl/pytato/__init__.py#L958
Conversion of type `Array` to type `Array` may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to `object` first. (reportInvalidCast)
Documentation
Process completed with exit code 2.
Pytest Conda Py3 Intel: test/test/test_arraycontext.py#L935
test_flatten_array_container[<PytatoPyOpenCLArrayContext for <pyopencl.Device 'AMD EPYC 7763 64-Core Processor' on 'Intel(R) OpenCL'>>-0] TypeError: reshape takes at least one argument (0 given)
Pytest Conda Py3 Intel: test/test/test_arraycontext.py#L1151
test_actx_compile_kwargs[<PytatoJAXArrayContext>] KeyError: ('vel', ('u',))
Pytest Conda Py3 Intel: test/test/test_arraycontext.py#L1133
test_actx_compile_python_scalar[<PytatoPyOpenCLArrayContext for <pyopencl.Device 'AMD EPYC 7763 64-Core Processor' on 'Intel(R) OpenCL'>>] KeyError: (1, ('u',))
Pytest Conda Py3 Intel: test/test/test_arraycontext.py#L1115
test_actx_compile[<PytatoJAXArrayContext>] KeyError: (1, ('u',))
Pytest Conda Py3 Intel: test/test/test_arraycontext.py#L1133
test_actx_compile_python_scalar[<PytatoJAXArrayContext>] KeyError: (1, ('u',))
Pytest Conda Py3 Intel: test/test/test_arraycontext.py#L1115
test_actx_compile[<PytatoPyOpenCLArrayContext for <pyopencl.Device 'AMD EPYC 7763 64-Core Processor' on 'Intel(R) OpenCL'>>] KeyError: (1, ('u',))
Pytest Conda Py3 Intel: test/test/test_arraycontext.py#L935
test_flatten_array_container[<_PyOpenCLArrayContextForTests for <pyopencl.Device 'AMD EPYC 7763 64-Core Processor' on 'Intel(R) OpenCL'>>1-0] IndexError: tuple index out of range
Pytest Conda Py3 Intel: test/test/test_arraycontext.py#L935
test_flatten_array_container[<_PyOpenCLArrayContextForTests for <pyopencl.Device 'AMD EPYC 7763 64-Core Processor' on 'Intel(R) OpenCL'>>0-0] IndexError: tuple index out of range
Pytest Conda Py3 Intel: test/test/test_arraycontext.py#L935
test_flatten_array_container[<PytatoJAXArrayContext>-0] TypeError: reshape takes at least one argument (0 given)
Pytest Conda Py3 Intel: test/test/test_arraycontext.py#L935
test_flatten_array_container[<NumpyArrayContext>-0] TypeError: reshape() takes exactly 1 argument (0 given)
Pytest Conda Py3 Intel
Canceling since a higher priority waiting request for more-types-2025-06 exists
Tests for downstream project meshmode
The operation was canceled.
Tests for downstream project meshmode
Canceling since a higher priority waiting request for more-types-2025-06 exists
Tests for downstream project grudge
The operation was canceled.
Tests for downstream project grudge
Canceling since a higher priority waiting request for more-types-2025-06 exists
Pytest Conda Py3 POCL: test/test/test_arraycontext.py#L1151
test_actx_compile_kwargs[<PytatoJAXArrayContext>] KeyError: ('vel', ('u',))
Pytest Conda Py3 POCL: test/test/test_arraycontext.py#L1133
test_actx_compile_python_scalar[<PytatoJAXArrayContext>] KeyError: (1, ('u',))
Pytest Conda Py3 POCL: test/test/test_arraycontext.py#L1115
test_actx_compile[<PytatoPyOpenCLArrayContext for <pyopencl.Device 'cpu-haswell-AMD EPYC 7763 64-Core Processor' on 'Portable Computing Language'>>] KeyError: (1, ('u',))
Pytest Conda Py3 POCL: test/test/test_arraycontext.py#L1133
test_actx_compile_python_scalar[<PytatoPyOpenCLArrayContext for <pyopencl.Device 'cpu-haswell-AMD EPYC 7763 64-Core Processor' on 'Portable Computing Language'>>] KeyError: (1, ('u',))
Pytest Conda Py3 POCL: test/test/test_arraycontext.py#L1115
test_actx_compile[<PytatoJAXArrayContext>] KeyError: (1, ('u',))
Pytest Conda Py3 POCL: test/test/test_arraycontext.py#L935
test_flatten_array_container[<PytatoPyOpenCLArrayContext for <pyopencl.Device 'cpu-haswell-AMD EPYC 7763 64-Core Processor' on 'Portable Computing Language'>>-0] TypeError: reshape takes at least one argument (0 given)
Pytest Conda Py3 POCL: test/test/test_arraycontext.py#L935
test_flatten_array_container[<_PyOpenCLArrayContextForTests for <pyopencl.Device 'cpu-haswell-AMD EPYC 7763 64-Core Processor' on 'Portable Computing Language'>>1-0] IndexError: tuple index out of range
Pytest Conda Py3 POCL: test/test/test_arraycontext.py#L935
test_flatten_array_container[<_PyOpenCLArrayContextForTests for <pyopencl.Device 'cpu-haswell-AMD EPYC 7763 64-Core Processor' on 'Portable Computing Language'>>0-0] IndexError: tuple index out of range
Pytest Conda Py3 POCL: test/test/test_arraycontext.py#L935
test_flatten_array_container[<PytatoJAXArrayContext>-0] TypeError: reshape takes at least one argument (0 given)
CI
Canceling since a higher priority waiting request for more-types-2025-06 exists
Pytest Conda Py3 POCL: test/test/test_arraycontext.py#L935
test_flatten_array_container[<NumpyArrayContext>-0] TypeError: reshape() takes exactly 1 argument (0 given)
Pytest Conda Py3 POCL
Canceling since a higher priority waiting request for more-types-2025-06 exists
Ruff
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
Tests for downstream project mirgecom_examples
No point in testing mirgecom at the moment, see https://github.com/illinois-ceesd/mirgecom/pull/898. Test not performed.
Tests for downstream project mirgecom
No point in testing mirgecom at the moment, see https://github.com/illinois-ceesd/mirgecom/pull/898. Test not performed.
basedpyright: arraycontext/impl/pytato/compile.py#L274
Type of "dtype" is partially unknown   Type of "dtype" is "dtype[Any] | Unknown | dtype[Unknown]" (reportUnknownMemberType)
basedpyright: arraycontext/impl/pytato/compile.py#L273
Type of "shape" is partially unknown   Type of "shape" is "tuple[Array | int | integer[Any], ...] | Unknown | tuple[()]" (reportUnknownMemberType)
basedpyright: arraycontext/impl/pytato/compile.py#L262
Argument type is unknown   Argument corresponds to parameter "tags" in function "make_placeholder" (reportUnknownArgumentType)
basedpyright: arraycontext/impl/pytato/compile.py#L262
Type of "tags" is unknown (reportUnknownMemberType)
basedpyright: arraycontext/impl/pytato/compile.py#L261
Argument type is unknown   Argument corresponds to parameter "axes" in function "make_placeholder" (reportUnknownArgumentType)
basedpyright: arraycontext/impl/pytato/compile.py#L261
Type of "axes" is unknown (reportUnknownMemberType)
basedpyright: arraycontext/impl/pytato/compile.py#L260
Type of "dtype" is partially unknown   Type of "dtype" is "dtype[Any] | Unknown | dtype[Unknown]" (reportUnknownMemberType)
basedpyright: arraycontext/impl/pytato/compile.py#L260
Type of "shape" is partially unknown   Type of "shape" is "tuple[Array | int | integer[Any], ...] | tuple[Any, ...] | Unknown | tuple[()]" (reportUnknownMemberType)
basedpyright: arraycontext/container/dataclass.py#L101
Unnecessary "# pyright: ignore" rule: "reportIgnoreCommentWithoutRule" (reportUnnecessaryTypeIgnoreComment)
basedpyright: arraycontext/container/dataclass.py#L101
Condition will always evaluate to False since the types "type" and "UnionType" have no overlap (reportUnnecessaryComparison)
Pytest Conda Py3 Intel: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 Intel: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 Intel: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 Intel: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 Intel: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 Intel: .conda-root/envs/testing/lib/python3.13/site-packages/pyopencl/cache.py#L420
Non-empty compiler output encountered. Set the environment variable PYOPENCL_COMPILER_OUTPUT=1 to see more.
Pytest Conda Py3 Intel: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 Intel: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 Intel: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 Intel: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 POCL: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 POCL: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 POCL: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 POCL: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 POCL: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 POCL: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 POCL: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 POCL: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 POCL: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.
Pytest Conda Py3 POCL: arraycontext/impl/pyopencl/__init__.py#L217
Calling rec_map_array_container without leaf_class is deprecated. Prefer the simpler rec_map_container.