Fine grained compute transform #970
Draft
Annotations
9 errors and 10 warnings
|
Main Script
Process completed with exit code 1.
|
|
Main Script
7 errors
|
|
Main Script:
loopy/transform/data.py#L127
Argument of type "Expression | tuple[int | integer[Any] | float | complex | inexact[Any, float | complex] | builtins.bool | numpy.bool[builtins.bool] | ExpressionNode | Unknown] | tuple[Unknown, ...]" cannot be assigned to parameter "iterable" of type "Iterable[_T@enumerate]" in function "__new__"
Type "Expression | tuple[int | integer[Any] | float | complex | inexact[Any, float | complex] | builtins.bool | numpy.bool[builtins.bool] | ExpressionNode | Unknown] | tuple[Unknown, ...]" is not assignable to type "Iterable[_T@enumerate]"
"complex" is incompatible with protocol "Iterable[_T@enumerate]"
"__iter__" is not present (reportArgumentType)
|
|
Main Script:
loopy/transform/data.py#L127
Argument of type "Expression | tuple[int | integer[Any] | float | complex | inexact[Any, float | complex] | builtins.bool | numpy.bool[builtins.bool] | ExpressionNode | Unknown] | tuple[Unknown, ...]" cannot be assigned to parameter "iterable" of type "Iterable[_T@enumerate]" in function "__new__"
Type "Expression | tuple[int | integer[Any] | float | complex | inexact[Any, float | complex] | builtins.bool | numpy.bool[builtins.bool] | ExpressionNode | Unknown] | tuple[Unknown, ...]" is not assignable to type "Iterable[Unknown]"
"complex" is incompatible with protocol "Iterable[Unknown]"
"__iter__" is not present (reportArgumentType)
|
|
Main Script:
loopy/transform/compute.py#L630
Argument of type "None" cannot be assigned to parameter "insn" of type "InstructionBase" in function "__call__"
"None" is not assignable to "InstructionBase" (reportArgumentType)
|
|
Main Script:
loopy/transform/compute.py#L5
Import "namedisl" could not be resolved (reportMissingImports)
|
|
Main Script:
loopy/transform/compute.py#L3
"override" is unknown import symbol (reportAttributeAccessIssue)
|
|
Main Script:
loopy/symbolic.py#L52
Import "namedisl" could not be resolved (reportMissingImports)
|
|
Main Script:
loopy/preprocess.py#L612
Argument of type "InstructionBase | None" cannot be assigned to parameter "instruction" of type "InstructionBase" in function "__init__"
Type "InstructionBase | None" is not assignable to type "InstructionBase"
"None" is not assignable to "InstructionBase" (reportArgumentType)
|
|
Main Script:
loopy/schedule/tree.py#L266
Type of "iadd" is partially unknown
Type of "iadd" is "(a: Unknown, b: Unknown, /) -> Unknown" (reportUnknownMemberType)
|
|
Main Script:
loopy/schedule/__init__.py#L2081
Argument type is unknown
Argument corresponds to parameter "source" in function "add_source" (reportUnknownArgumentType)
|
|
Main Script:
loopy/schedule/__init__.py#L2060
Argument type is unknown
Argument corresponds to parameter "target" in function "gen_dependencies_with_target_at" (reportUnknownArgumentType)
|
|
Main Script:
loopy/schedule/__init__.py#L2060
Argument type is partially unknown
Argument corresponds to parameter "iterable" in function "from_iterable"
Argument type is "Generator[Generator[DependencyRecord, Unknown, None], None, None]" (reportUnknownArgumentType)
|
|
Main Script:
loopy/kernel/creation.py#L1975
Argument type is partially unknown
Argument corresponds to parameter "iterable" in function "join"
Argument type is "frozenset[str | Unknown] | frozenset[str]" (reportUnknownArgumentType)
|
|
Main Script:
loopy/isl_helpers.py#L577
Type of "is_one" is unknown (reportUnknownMemberType)
|
|
Main Script:
loopy/codegen/control.py#L441
Argument type is partially unknown
Argument corresponds to parameter "object" in function "append"
Argument type is "tuple[int, list[Unknown] | list[Constraint], frozenset[int | integer[Any] | float | complex | inexact[Any, float | complex] | builtins.bool | numpy.bool[builtins.bool] | ExpressionNode | tuple[Expression, ...]]]" (reportUnknownArgumentType)
|
|
Main Script:
loopy/check.py#L153
Argument type is partially unknown
Argument corresponds to parameter "function" in function "reduce"
Argument type is "(a: Unknown, b: Unknown, /) -> Unknown" (reportUnknownArgumentType)
|
|
Main Script:
loopy/check.py#L153
Type of "or_" is partially unknown
Type of "or_" is "(a: Unknown, b: Unknown, /) -> Unknown" (reportUnknownMemberType)
|
|
Main Script:
loopy/check.py#L151
Return type, "frozenset[Unknown]", is partially unknown (reportUnknownParameterType)
|
Loading