diff --git a/.basedpyright/baseline.json b/.basedpyright/baseline.json index ea6de00b..f9aa7494 100644 --- a/.basedpyright/baseline.json +++ b/.basedpyright/baseline.json @@ -2180,346 +2180,366 @@ ], "./pymbolic/cse.py": [ { - "code": "reportUnknownParameterType", + "code": "reportAny", "range": { - "startColumn": 8, - "endColumn": 16, + "startColumn": 20, + "endColumn": 75, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportAny", "range": { - "startColumn": 23, - "endColumn": 27, + "startColumn": 19, + "endColumn": 74, "lineCount": 1 } - }, + } + ], + "./pymbolic/functions.py": [ { - "code": "reportMissingParameterType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 23, - "endColumn": 27, + "startColumn": 8, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportMissingParameterType", "range": { - "startColumn": 35, - "endColumn": 48, + "startColumn": 8, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 19, + "startColumn": 55, "endColumn": 59, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 41, - "endColumn": 58, + "startColumn": 8, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportMissingParameterType", "range": { - "startColumn": 19, - "endColumn": 23, + "startColumn": 8, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportMissingTypeArgument", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 21, - "endColumn": 31, + "startColumn": 55, + "endColumn": 59, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 23, - "endColumn": 30, + "startColumn": 8, + "endColumn": 9, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 23, - "endColumn": 30, + "startColumn": 8, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 13, - "endColumn": 27, + "startColumn": 55, + "endColumn": 59, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownParameterType", "range": { - "startColumn": 13, - "endColumn": 20, + "startColumn": 8, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportImplicitOverride", + "code": "reportMissingParameterType", "range": { "startColumn": 8, - "endColumn": 13, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 20, - "endColumn": 24, + "startColumn": 55, + "endColumn": 59, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 20, - "endColumn": 24, + "startColumn": 8, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportMissingParameterType", "range": { "startColumn": 8, - "endColumn": 11, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 18, - "endColumn": 37, + "startColumn": 55, + "endColumn": 59, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 12, - "endColumn": 31, + "startColumn": 9, + "endColumn": 10, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportMissingParameterType", "range": { - "startColumn": 12, - "endColumn": 31, + "startColumn": 9, + "endColumn": 10, "lineCount": 1 } }, { - "code": "reportImplicitOverride", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 8, - "endColumn": 32, + "startColumn": 56, + "endColumn": 60, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 39, - "endColumn": 43, + "startColumn": 9, + "endColumn": 10, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportMissingParameterType", "range": { - "startColumn": 46, - "endColumn": 50, + "startColumn": 9, + "endColumn": 10, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 46, - "endColumn": 50, + "startColumn": 56, + "endColumn": 60, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 54, - "endColumn": 60, + "startColumn": 9, + "endColumn": 10, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 54, - "endColumn": 60, + "startColumn": 9, + "endColumn": 10, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 8, - "endColumn": 11, + "startColumn": 56, + "endColumn": 60, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 18, - "endColumn": 37, + "startColumn": 10, + "endColumn": 11, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportMissingParameterType", "range": { - "startColumn": 12, - "endColumn": 31, + "startColumn": 10, + "endColumn": 11, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 12, - "endColumn": 31, + "startColumn": 57, + "endColumn": 61, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 23, - "endColumn": 35, + "startColumn": 9, + "endColumn": 10, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 23, - "endColumn": 35, + "startColumn": 9, + "endColumn": 10, + "lineCount": 1 + } + }, + { + "code": "reportUnknownArgumentType", + "range": { + "startColumn": 56, + "endColumn": 60, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 37, - "endColumn": 44, + "startColumn": 9, + "endColumn": 10, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 37, - "endColumn": 44, + "startColumn": 9, + "endColumn": 10, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 13, - "endColumn": 25, + "startColumn": 60, + "endColumn": 67, + "lineCount": 1 + } + } + ], + "./pymbolic/geometric_algebra/__init__.py": [ + { + "code": "reportAny", + "range": { + "startColumn": 50, + "endColumn": 72, "lineCount": 1 } }, { "code": "reportAny", "range": { - "startColumn": 20, - "endColumn": 75, + "startColumn": 52, + "endColumn": 55, "lineCount": 1 } }, { "code": "reportAny", "range": { - "startColumn": 19, - "endColumn": 74, + "startColumn": 12, + "endColumn": 16, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportAny", "range": { - "startColumn": 4, - "endColumn": 15, + "startColumn": 15, + "endColumn": 39, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownMemberType", "range": { - "startColumn": 4, - "endColumn": 13, + "startColumn": 15, + "endColumn": 83, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownVariableType", "range": { - "startColumn": 4, - "endColumn": 16, + "startColumn": 15, + "endColumn": 85, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportOperatorIssue", "range": { - "startColumn": 4, - "endColumn": 17, + "startColumn": 16, + "endColumn": 73, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportAny", "range": { - "startColumn": 4, - "endColumn": 17, + "startColumn": 15, + "endColumn": 78, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportAny", "range": { - "startColumn": 4, - "endColumn": 12, + "startColumn": 15, + "endColumn": 80, "lineCount": 1 } }, { "code": "reportAny", "range": { - "startColumn": 8, - "endColumn": 24, + "startColumn": 45, + "endColumn": 72, "lineCount": 1 } }, @@ -2527,376 +2547,350 @@ "code": "reportImplicitOverride", "range": { "startColumn": 8, - "endColumn": 24, + "endColumn": 36, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnannotatedClassAttribute", "range": { - "startColumn": 31, + "startColumn": 4, "endColumn": 35, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportAny", "range": { - "startColumn": 31, - "endColumn": 35, + "startColumn": 16, + "endColumn": 19, "lineCount": 1 } }, { "code": "reportAny", "range": { - "startColumn": 15, - "endColumn": 58, - "lineCount": 4 - } - }, - { - "code": "reportUnknownArgumentType", - "range": { - "startColumn": 20, - "endColumn": 24, + "startColumn": 27, + "endColumn": 30, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 16, - "endColumn": 26, + "startColumn": 19, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 16, - "endColumn": 30, + "startColumn": 19, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 32, - "endColumn": 33, + "startColumn": 55, + "endColumn": 65, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 39, - "endColumn": 40, + "startColumn": 12, + "endColumn": 22, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 44, - "endColumn": 55, + "startColumn": 26, + "endColumn": 36, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 30, - "endColumn": 35, + "startColumn": 57, + "endColumn": 61, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 30, - "endColumn": 35, + "startColumn": 66, + "endColumn": 76, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 8, - "endColumn": 12, + "startColumn": 22, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 22, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 4, - "endColumn": 16, + "startColumn": 23, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportMissingParameterType", "range": { - "startColumn": 12, - "endColumn": 23, + "startColumn": 23, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 25, - "endColumn": 30, + "startColumn": 27, + "endColumn": 32, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 34, - "endColumn": 52, + "startColumn": 21, + "endColumn": 26, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 27, - "endColumn": 39, + "startColumn": 21, + "endColumn": 26, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 25, - "endColumn": 29, + "startColumn": 22, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportMissingParameterType", "range": { - "startColumn": 35, - "endColumn": 39, + "startColumn": 22, + "endColumn": 27, "lineCount": 1 } - } - ], - "./pymbolic/functions.py": [ + }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 8, - "endColumn": 9, + "startColumn": 27, + "endColumn": 32, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 8, - "endColumn": 9, + "startColumn": 25, + "endColumn": 30, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 55, - "endColumn": 59, + "startColumn": 25, + "endColumn": 30, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 8, - "endColumn": 9, + "startColumn": 26, + "endColumn": 31, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 8, - "endColumn": 9, + "startColumn": 26, + "endColumn": 31, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 55, - "endColumn": 59, + "startColumn": 27, + "endColumn": 32, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 8, - "endColumn": 9, + "startColumn": 25, + "endColumn": 30, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 8, - "endColumn": 9, - "lineCount": 1 - } - }, - { - "code": "reportUnknownArgumentType", - "range": { - "startColumn": 55, - "endColumn": 59, + "startColumn": 25, + "endColumn": 30, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 8, - "endColumn": 9, + "startColumn": 26, + "endColumn": 31, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 8, - "endColumn": 9, + "startColumn": 26, + "endColumn": 31, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 55, - "endColumn": 59, + "startColumn": 27, + "endColumn": 32, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 8, - "endColumn": 9, + "startColumn": 29, + "endColumn": 34, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 8, - "endColumn": 9, + "startColumn": 29, + "endColumn": 34, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 55, - "endColumn": 59, + "startColumn": 8, + "endColumn": 9, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 9, - "endColumn": 10, + "startColumn": 16, + "endColumn": 21, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 9, - "endColumn": 10, + "startColumn": 16, + "endColumn": 21, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 56, - "endColumn": 60, + "startColumn": 15, + "endColumn": 42, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 9, - "endColumn": 10, + "startColumn": 26, + "endColumn": 31, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 9, - "endColumn": 10, - "lineCount": 1 - } - }, - { - "code": "reportUnknownArgumentType", - "range": { - "startColumn": 56, - "endColumn": 60, + "startColumn": 26, + "endColumn": 31, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 9, - "endColumn": 10, + "startColumn": 27, + "endColumn": 32, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 9, - "endColumn": 10, + "startColumn": 27, + "endColumn": 32, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 56, - "endColumn": 60, + "startColumn": 28, + "endColumn": 33, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 10, + "startColumn": 4, "endColumn": 11, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnannotatedClassAttribute", "range": { - "startColumn": 10, + "startColumn": 4, "endColumn": 11, "lineCount": 1 } @@ -2904,860 +2898,858 @@ { "code": "reportUnknownArgumentType", "range": { - "startColumn": 57, + "startColumn": 35, "endColumn": 61, - "lineCount": 1 + "lineCount": 5 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 9, - "endColumn": 10, + "startColumn": 8, + "endColumn": 13, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 9, - "endColumn": 10, + "startColumn": 27, + "endColumn": 40, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 56, - "endColumn": 60, + "startColumn": 27, + "endColumn": 35, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 9, - "endColumn": 10, + "startColumn": 27, + "endColumn": 35, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 9, - "endColumn": 10, + "startColumn": 15, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportImplicitOverride", "range": { - "startColumn": 60, - "endColumn": 67, + "startColumn": 8, + "endColumn": 14, "lineCount": 1 } - } - ], - "./pymbolic/geometric_algebra/__init__.py": [ + }, { - "code": "reportAny", + "code": "reportUnknownParameterType", "range": { - "startColumn": 50, - "endColumn": 72, + "startColumn": 21, + "endColumn": 26, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportMissingParameterType", "range": { - "startColumn": 52, - "endColumn": 55, + "startColumn": 21, + "endColumn": 26, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportImplicitOverride", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 8, + "endColumn": 14, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownParameterType", "range": { - "startColumn": 15, - "endColumn": 39, + "startColumn": 21, + "endColumn": 26, + "lineCount": 1 + } + }, + { + "code": "reportMissingParameterType", + "range": { + "startColumn": 21, + "endColumn": 26, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 15, - "endColumn": 83, + "startColumn": 19, + "endColumn": 30, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 15, - "endColumn": 85, + "startColumn": 31, + "endColumn": 36, "lineCount": 1 } }, { - "code": "reportOperatorIssue", + "code": "reportUnknownParameterType", "range": { - "startColumn": 16, - "endColumn": 73, + "startColumn": 29, + "endColumn": 32, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportMissingParameterType", "range": { - "startColumn": 15, - "endColumn": 78, + "startColumn": 29, + "endColumn": 32, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownParameterType", "range": { - "startColumn": 15, - "endColumn": 80, + "startColumn": 23, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportMissingParameterType", "range": { - "startColumn": 45, - "endColumn": 72, + "startColumn": 23, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportImplicitOverride", + "code": "reportUnknownParameterType", "range": { - "startColumn": 8, - "endColumn": 36, + "startColumn": 30, + "endColumn": 33, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportMissingParameterType", "range": { - "startColumn": 4, - "endColumn": 35, + "startColumn": 30, + "endColumn": 33, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownMemberType", "range": { - "startColumn": 16, - "endColumn": 19, + "startColumn": 19, + "endColumn": 46, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownParameterType", "range": { - "startColumn": 27, + "startColumn": 25, "endColumn": 30, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportMissingParameterType", "range": { - "startColumn": 19, - "endColumn": 29, + "startColumn": 25, + "endColumn": 30, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 19, - "endColumn": 29, + "startColumn": 27, + "endColumn": 35, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnusedVariable", "range": { - "startColumn": 55, - "endColumn": 65, + "startColumn": 43, + "endColumn": 48, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 12, - "endColumn": 22, + "startColumn": 27, + "endColumn": 35, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 26, - "endColumn": 36, + "startColumn": 27, + "endColumn": 35, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportCallIssue", "range": { - "startColumn": 57, - "endColumn": 61, + "startColumn": 16, + "endColumn": 39, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 66, - "endColumn": 76, + "startColumn": 31, + "endColumn": 39, "lineCount": 1 } - }, + } + ], + "./pymbolic/geometric_algebra/mapper.py": [ { - "code": "reportUnknownParameterType", + "code": "reportUnusedParameter", "range": { - "startColumn": 22, - "endColumn": 27, + "startColumn": 41, + "endColumn": 45, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnusedParameter", "range": { - "startColumn": 22, - "endColumn": 27, + "startColumn": 57, + "endColumn": 63, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnusedParameter", "range": { - "startColumn": 23, - "endColumn": 28, + "startColumn": 44, + "endColumn": 48, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnusedParameter", "range": { - "startColumn": 23, - "endColumn": 28, + "startColumn": 60, + "endColumn": 66, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnusedParameter", "range": { - "startColumn": 27, - "endColumn": 32, + "startColumn": 16, + "endColumn": 20, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnusedParameter", "range": { - "startColumn": 21, - "endColumn": 26, + "startColumn": 35, + "endColumn": 39, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnusedParameter", "range": { - "startColumn": 21, - "endColumn": 26, + "startColumn": 51, + "endColumn": 57, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnusedParameter", "range": { - "startColumn": 22, - "endColumn": 27, + "startColumn": 16, + "endColumn": 20, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnusedParameter", "range": { - "startColumn": 22, - "endColumn": 27, + "startColumn": 44, + "endColumn": 48, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnusedParameter", "range": { - "startColumn": 27, - "endColumn": 32, + "startColumn": 60, + "endColumn": 66, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 25, - "endColumn": 30, + "startColumn": 22, + "endColumn": 26, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 25, - "endColumn": 30, + "startColumn": 22, + "endColumn": 26, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { "startColumn": 26, - "endColumn": 31, + "endColumn": 30, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 26, - "endColumn": 31, + "startColumn": 17, + "endColumn": 29, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 27, - "endColumn": 32, + "startColumn": 17, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 25, - "endColumn": 30, + "startColumn": 24, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnannotatedClassAttribute", "range": { - "startColumn": 25, - "endColumn": 30, + "startColumn": 4, + "endColumn": 13, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 26, - "endColumn": 31, + "startColumn": 24, + "endColumn": 28, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 26, - "endColumn": 31, + "startColumn": 24, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 27, - "endColumn": 32, + "startColumn": 30, + "endColumn": 44, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportMissingParameterType", "range": { - "startColumn": 29, - "endColumn": 34, + "startColumn": 30, + "endColumn": 44, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnusedParameter", "range": { - "startColumn": 29, - "endColumn": 34, + "startColumn": 30, + "endColumn": 44, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 9, + "startColumn": 20, + "endColumn": 33, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 16, - "endColumn": 21, + "startColumn": 34, + "endColumn": 38, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 16, - "endColumn": 21, + "startColumn": 34, + "endColumn": 38, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 15, - "endColumn": 42, + "startColumn": 40, + "endColumn": 54, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportMissingParameterType", "range": { - "startColumn": 26, - "endColumn": 31, + "startColumn": 40, + "endColumn": 54, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnusedParameter", "range": { - "startColumn": 26, - "endColumn": 31, + "startColumn": 40, + "endColumn": 54, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 27, - "endColumn": 32, + "startColumn": 30, + "endColumn": 47, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 27, - "endColumn": 32, + "startColumn": 30, + "endColumn": 47, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 28, - "endColumn": 33, + "startColumn": 49, + "endColumn": 66, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 4, - "endColumn": 11, + "startColumn": 49, + "endColumn": 66, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownMemberType", "range": { - "startColumn": 4, - "endColumn": 11, + "startColumn": 16, + "endColumn": 29, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 35, - "endColumn": 61, - "lineCount": 5 + "startColumn": 16, + "endColumn": 29, + "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 8, - "endColumn": 13, + "startColumn": 36, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 27, + "startColumn": 36, "endColumn": 40, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 27, - "endColumn": 35, + "startColumn": 42, + "endColumn": 56, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 27, - "endColumn": 35, + "startColumn": 42, + "endColumn": 56, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnusedParameter", "range": { - "startColumn": 15, - "endColumn": 40, + "startColumn": 42, + "endColumn": 56, "lineCount": 1 } }, { - "code": "reportImplicitOverride", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 14, + "startColumn": 35, + "endColumn": 48, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 21, - "endColumn": 26, + "startColumn": 35, + "endColumn": 48, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 21, - "endColumn": 26, + "startColumn": 59, + "endColumn": 71, "lineCount": 1 } }, { - "code": "reportImplicitOverride", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 8, - "endColumn": 14, + "startColumn": 59, + "endColumn": 71, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 21, - "endColumn": 26, + "startColumn": 36, + "endColumn": 40, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 21, - "endColumn": 26, + "startColumn": 36, + "endColumn": 40, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 19, - "endColumn": 30, + "startColumn": 8, + "endColumn": 18, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 31, - "endColumn": 36, + "startColumn": 8, + "endColumn": 25, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 29, - "endColumn": 32, + "startColumn": 20, + "endColumn": 31, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 29, - "endColumn": 32, + "startColumn": 32, + "endColumn": 36, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 23, - "endColumn": 28, + "startColumn": 39, + "endColumn": 52, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 23, - "endColumn": 28, + "startColumn": 39, + "endColumn": 52, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 30, - "endColumn": 33, + "startColumn": 15, + "endColumn": 25, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 30, - "endColumn": 33, + "startColumn": 26, + "endColumn": 30, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 19, - "endColumn": 46, + "startColumn": 17, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 25, - "endColumn": 30, + "startColumn": 17, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 25, - "endColumn": 30, + "startColumn": 8, + "endColumn": 23, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 27, - "endColumn": 35, + "startColumn": 24, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportUnusedVariable", + "code": "reportUnknownParameterType", "range": { - "startColumn": 43, - "endColumn": 48, + "startColumn": 39, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 27, - "endColumn": 35, + "startColumn": 39, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 27, - "endColumn": 35, + "startColumn": 32, + "endColumn": 41, "lineCount": 1 } }, { - "code": "reportCallIssue", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 16, - "endColumn": 39, + "startColumn": 32, + "endColumn": 41, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 31, - "endColumn": 39, + "startColumn": 32, + "endColumn": 42, "lineCount": 1 } - } - ], - "./pymbolic/geometric_algebra/mapper.py": [ + }, { - "code": "reportUnusedParameter", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 41, - "endColumn": 45, + "startColumn": 37, + "endColumn": 41, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownParameterType", "range": { - "startColumn": 57, - "endColumn": 63, + "startColumn": 24, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportMissingParameterType", "range": { - "startColumn": 44, - "endColumn": 48, + "startColumn": 24, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownMemberType", "range": { - "startColumn": 60, - "endColumn": 66, + "startColumn": 39, + "endColumn": 52, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 16, - "endColumn": 20, + "startColumn": 39, + "endColumn": 52, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownParameterType", "range": { - "startColumn": 35, - "endColumn": 39, + "startColumn": 8, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportIncompatibleMethodOverride", "range": { - "startColumn": 51, - "endColumn": 57, + "startColumn": 8, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownMemberType", "range": { - "startColumn": 16, - "endColumn": 20, + "startColumn": 19, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownVariableType", "range": { - "startColumn": 44, - "endColumn": 48, - "lineCount": 1 + "startColumn": 19, + "endColumn": 73, + "lineCount": 2 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownLambdaType", "range": { - "startColumn": 60, - "endColumn": 66, + "startColumn": 27, + "endColumn": 32, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 22, - "endColumn": 26, + "startColumn": 51, + "endColumn": 56, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportMissingTypeArgument", "range": { - "startColumn": 22, - "endColumn": 26, + "startColumn": 49, + "endColumn": 61, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingTypeArgument", "range": { - "startColumn": 26, - "endColumn": 30, + "startColumn": 63, + "endColumn": 72, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 17, - "endColumn": 29, + "startColumn": 8, + "endColumn": 26, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 17, + "startColumn": 8, "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", - "range": { - "startColumn": 24, - "endColumn": 28, - "lineCount": 1 - } - }, - { - "code": "reportUnannotatedClassAttribute", + "code": "reportImplicitOverride", "range": { - "startColumn": 4, - "endColumn": 13, + "startColumn": 8, + "endColumn": 17, "lineCount": 1 } }, @@ -3780,288 +3772,288 @@ { "code": "reportUnknownParameterType", "range": { - "startColumn": 30, - "endColumn": 44, + "startColumn": 8, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportImplicitOverride", "range": { - "startColumn": 30, - "endColumn": 44, + "startColumn": 8, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownParameterType", "range": { - "startColumn": 30, - "endColumn": 44, + "startColumn": 34, + "endColumn": 38, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportMissingParameterType", "range": { - "startColumn": 20, - "endColumn": 33, + "startColumn": 34, + "endColumn": 38, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 34, - "endColumn": 38, + "startColumn": 15, + "endColumn": 21, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 34, - "endColumn": 38, + "startColumn": 8, + "endColumn": 29, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 40, - "endColumn": 54, + "startColumn": 36, + "endColumn": 40, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 40, - "endColumn": 54, + "startColumn": 36, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownVariableType", "range": { - "startColumn": 40, - "endColumn": 54, + "startColumn": 15, + "endColumn": 46, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 30, - "endColumn": 47, + "startColumn": 33, + "endColumn": 45, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 30, - "endColumn": 47, - "lineCount": 1 - } - }, - { - "code": "reportUnknownMemberType", - "range": { - "startColumn": 49, - "endColumn": 66, + "startColumn": 33, + "endColumn": 45, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingSuperCall", "range": { - "startColumn": 49, - "endColumn": 66, + "startColumn": 8, + "endColumn": 16, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 16, - "endColumn": 29, + "startColumn": 23, + "endColumn": 31, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 16, - "endColumn": 29, + "startColumn": 23, + "endColumn": 31, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 36, - "endColumn": 40, + "startColumn": 33, + "endColumn": 45, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 36, - "endColumn": 40, + "startColumn": 33, + "endColumn": 45, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportImplicitOverride", "range": { - "startColumn": 42, - "endColumn": 56, + "startColumn": 8, + "endColumn": 20, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 42, - "endColumn": 56, + "startColumn": 27, + "endColumn": 31, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportMissingSuperCall", "range": { - "startColumn": 42, - "endColumn": 56, + "startColumn": 8, + "endColumn": 16, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 35, - "endColumn": 48, + "startColumn": 23, + "endColumn": 31, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 35, - "endColumn": 48, + "startColumn": 23, + "endColumn": 31, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 59, - "endColumn": 71, + "startColumn": 33, + "endColumn": 39, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 59, - "endColumn": 71, + "startColumn": 33, + "endColumn": 39, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 36, - "endColumn": 40, + "startColumn": 41, + "endColumn": 53, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 36, - "endColumn": 40, + "startColumn": 41, + "endColumn": 53, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownParameterType", "range": { "startColumn": 8, - "endColumn": 18, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportImplicitOverride", "range": { "startColumn": 8, - "endColumn": 25, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportMissingParameterType", "range": { - "startColumn": 20, - "endColumn": 31, + "startColumn": 36, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 32, - "endColumn": 36, + "startColumn": 19, + "endColumn": 46, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 39, - "endColumn": 52, + "startColumn": 19, + "endColumn": 79, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnannotatedClassAttribute", "range": { - "startColumn": 39, - "endColumn": 52, + "startColumn": 4, + "endColumn": 51, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnannotatedClassAttribute", "range": { - "startColumn": 15, - "endColumn": 25, + "startColumn": 4, + "endColumn": 34, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnannotatedClassAttribute", "range": { - "startColumn": 26, - "endColumn": 30, + "startColumn": 4, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 17, - "endColumn": 29, + "startColumn": 23, + "endColumn": 37, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 17, - "endColumn": 29, + "startColumn": 23, + "endColumn": 37, + "lineCount": 1 + } + }, + { + "code": "reportUnannotatedClassAttribute", + "range": { + "startColumn": 13, + "endColumn": 33, "lineCount": 1 } }, @@ -4069,703 +4061,711 @@ "code": "reportUnknownMemberType", "range": { "startColumn": 8, - "endColumn": 23, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnannotatedClassAttribute", "range": { - "startColumn": 24, - "endColumn": 28, + "startColumn": 13, + "endColumn": 27, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 39, - "endColumn": 43, + "startColumn": 8, + "endColumn": 23, + "lineCount": 1 + } + }, + { + "code": "reportUnknownParameterType", + "range": { + "startColumn": 30, + "endColumn": 42, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 39, - "endColumn": 43, + "startColumn": 30, + "endColumn": 42, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnusedParameter", "range": { - "startColumn": 32, - "endColumn": 41, + "startColumn": 30, + "endColumn": 42, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 32, - "endColumn": 41, + "startColumn": 44, + "endColumn": 48, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 32, - "endColumn": 42, + "startColumn": 44, + "endColumn": 48, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnusedParameter", "range": { - "startColumn": 37, - "endColumn": 41, + "startColumn": 44, + "endColumn": 48, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 24, - "endColumn": 28, + "startColumn": 8, + "endColumn": 19, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportImplicitOverride", "range": { - "startColumn": 24, - "endColumn": 28, + "startColumn": 8, + "endColumn": 19, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 39, - "endColumn": 52, + "startColumn": 26, + "endColumn": 30, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 39, - "endColumn": 52, + "startColumn": 26, + "endColumn": 30, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 8, - "endColumn": 29, + "startColumn": 23, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportIncompatibleMethodOverride", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 29, + "startColumn": 42, + "endColumn": 55, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 19, - "endColumn": 29, + "startColumn": 42, + "endColumn": 55, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 19, - "endColumn": 73, - "lineCount": 2 + "startColumn": 12, + "endColumn": 19, + "lineCount": 1 } }, { - "code": "reportUnknownLambdaType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 27, - "endColumn": 32, + "startColumn": 48, + "endColumn": 53, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 51, - "endColumn": 56, + "startColumn": 16, + "endColumn": 51, "lineCount": 1 } }, { - "code": "reportMissingTypeArgument", + "code": "reportUnknownVariableType", "range": { - "startColumn": 49, - "endColumn": 61, + "startColumn": 12, + "endColumn": 31, "lineCount": 1 } }, { - "code": "reportMissingTypeArgument", + "code": "reportUnknownVariableType", "range": { - "startColumn": 63, - "endColumn": 72, + "startColumn": 12, + "endColumn": 33, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 8, - "endColumn": 26, + "startColumn": 16, + "endColumn": 22, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 29, + "startColumn": 20, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportImplicitOverride", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 17, + "startColumn": 20, + "endColumn": 33, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 24, - "endColumn": 28, + "startColumn": 20, + "endColumn": 45, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 24, - "endColumn": 28, + "startColumn": 12, + "endColumn": 47, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 8, - "endColumn": 27, + "startColumn": 16, + "endColumn": 21, "lineCount": 1 } }, { - "code": "reportImplicitOverride", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 27, + "startColumn": 16, + "endColumn": 39, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 34, - "endColumn": 38, - "lineCount": 1 + "startColumn": 16, + "endColumn": 50, + "lineCount": 2 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 34, + "startColumn": 24, "endColumn": 38, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 15, - "endColumn": 21, + "startColumn": 24, + "endColumn": 38, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 29, + "startColumn": 63, + "endColumn": 81, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { "startColumn": 36, - "endColumn": 40, + "endColumn": 64, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 36, - "endColumn": 40, + "startColumn": 37, + "endColumn": 42, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 15, - "endColumn": 46, + "startColumn": 48, + "endColumn": 53, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 33, - "endColumn": 45, + "startColumn": 57, + "endColumn": 70, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 33, - "endColumn": 45, + "startColumn": 35, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportMissingSuperCall", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 16, + "startColumn": 42, + "endColumn": 55, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 23, - "endColumn": 31, + "startColumn": 42, + "endColumn": 55, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownVariableType", "range": { "startColumn": 23, - "endColumn": 31, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportAny", "range": { - "startColumn": 33, - "endColumn": 45, + "startColumn": 19, + "endColumn": 50, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 33, - "endColumn": 45, + "startColumn": 24, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportImplicitOverride", + "code": "reportUnknownVariableType", "range": { "startColumn": 8, - "endColumn": 20, + "endColumn": 14, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 27, - "endColumn": 31, + "startColumn": 23, + "endColumn": 36, "lineCount": 1 } }, { - "code": "reportMissingSuperCall", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 8, - "endColumn": 16, + "startColumn": 23, + "endColumn": 36, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 23, - "endColumn": 31, + "startColumn": 24, + "endColumn": 42, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 23, - "endColumn": 31, + "startColumn": 44, + "endColumn": 50, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 33, - "endColumn": 39, + "startColumn": 16, + "endColumn": 77, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 33, - "endColumn": 39, + "startColumn": 20, + "endColumn": 48, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 41, - "endColumn": 53, + "startColumn": 50, + "endColumn": 63, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 41, - "endColumn": 53, + "startColumn": 50, + "endColumn": 63, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 8, - "endColumn": 29, + "startColumn": 19, + "endColumn": 37, "lineCount": 1 } }, { - "code": "reportImplicitOverride", + "code": "reportUnknownVariableType", "range": { - "startColumn": 8, - "endColumn": 29, + "startColumn": 12, + "endColumn": 20, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 36, - "endColumn": 40, + "startColumn": 16, + "endColumn": 22, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 19, - "endColumn": 46, + "startColumn": 15, + "endColumn": 34, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 19, - "endColumn": 79, + "startColumn": 63, + "endColumn": 82, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownVariableType", "range": { - "startColumn": 4, - "endColumn": 51, + "startColumn": 12, + "endColumn": 18, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 4, - "endColumn": 34, + "startColumn": 25, + "endColumn": 51, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownVariableType", "range": { - "startColumn": 4, - "endColumn": 28, + "startColumn": 34, + "endColumn": 35, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 23, - "endColumn": 37, + "startColumn": 37, + "endColumn": 41, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 23, - "endColumn": 37, + "startColumn": 16, + "endColumn": 30, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 13, - "endColumn": 33, + "startColumn": 34, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 8, + "startColumn": 20, "endColumn": 27, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 13, - "endColumn": 27, + "startColumn": 61, + "endColumn": 69, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 8, - "endColumn": 23, + "startColumn": 50, + "endColumn": 68, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 30, - "endColumn": 42, + "startColumn": 24, + "endColumn": 41, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 30, - "endColumn": 42, + "startColumn": 43, + "endColumn": 44, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 30, - "endColumn": 42, + "startColumn": 68, + "endColumn": 76, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 44, - "endColumn": 48, + "startColumn": 40, + "endColumn": 66, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 44, - "endColumn": 48, + "startColumn": 20, + "endColumn": 37, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportArgumentType", "range": { - "startColumn": 44, - "endColumn": 48, - "lineCount": 1 + "startColumn": 38, + "endColumn": 25, + "lineCount": 3 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 8, - "endColumn": 19, + "startColumn": 33, + "endColumn": 42, "lineCount": 1 } }, { - "code": "reportImplicitOverride", + "code": "reportUnknownVariableType", "range": { - "startColumn": 8, - "endColumn": 19, + "startColumn": 48, + "endColumn": 57, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 26, - "endColumn": 30, + "startColumn": 24, + "endColumn": 38, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 26, - "endColumn": 30, + "startColumn": 4, + "endColumn": 19, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnannotatedClassAttribute", "range": { - "startColumn": 23, - "endColumn": 28, + "startColumn": 4, + "endColumn": 19, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 42, - "endColumn": 55, + "startColumn": 4, + "endColumn": 18, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnannotatedClassAttribute", "range": { - "startColumn": 42, - "endColumn": 55, + "startColumn": 4, + "endColumn": 18, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 12, - "endColumn": 19, + "startColumn": 4, + "endColumn": 18, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnannotatedClassAttribute", "range": { - "startColumn": 48, - "endColumn": 53, + "startColumn": 4, + "endColumn": 18, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 16, - "endColumn": 51, + "startColumn": 4, + "endColumn": 19, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnannotatedClassAttribute", "range": { - "startColumn": 12, - "endColumn": 31, + "startColumn": 4, + "endColumn": 19, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportIncompatibleMethodOverride", "range": { - "startColumn": 12, - "endColumn": 33, + "startColumn": 8, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportImplicitOverride", "range": { - "startColumn": 16, - "endColumn": 22, + "startColumn": 8, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 20, - "endColumn": 43, + "startColumn": 36, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportMissingParameterType", "range": { - "startColumn": 20, - "endColumn": 33, + "startColumn": 36, + "endColumn": 40, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 20, - "endColumn": 45, + "startColumn": 31, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 12, - "endColumn": 47, + "startColumn": 31, + "endColumn": 43, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 16, - "endColumn": 21, + "startColumn": 12, + "endColumn": 18, "lineCount": 1 } }, @@ -4773,423 +4773,431 @@ "code": "reportUnknownMemberType", "range": { "startColumn": 16, - "endColumn": 39, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 16, - "endColumn": 50, - "lineCount": 2 + "startColumn": 8, + "endColumn": 14, + "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 24, - "endColumn": 38, + "startColumn": 21, + "endColumn": 35, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 24, - "endColumn": 38, + "startColumn": 21, + "endColumn": 51, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 63, - "endColumn": 81, + "startColumn": 40, + "endColumn": 41, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 36, - "endColumn": 64, - "lineCount": 1 + "startColumn": 29, + "endColumn": 17, + "lineCount": 7 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 37, - "endColumn": 42, + "startColumn": 16, + "endColumn": 36, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 48, - "endColumn": 53, + "startColumn": 56, + "endColumn": 69, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 57, - "endColumn": 70, + "startColumn": 56, + "endColumn": 69, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 35, + "startColumn": 34, "endColumn": 40, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportMissingTypeArgument", "range": { - "startColumn": 42, - "endColumn": 55, + "startColumn": 28, + "endColumn": 42, + "lineCount": 1 + } + } + ], + "./pymbolic/geometric_algebra/primitives.py": [ + { + "code": "reportUnannotatedClassAttribute", + "range": { + "startColumn": 4, + "endColumn": 17, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 42, - "endColumn": 55, + "startColumn": 8, + "endColumn": 16, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownParameterType", "range": { "startColumn": 23, - "endColumn": 27, + "endColumn": 30, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportMissingParameterType", "range": { - "startColumn": 19, - "endColumn": 50, + "startColumn": 23, + "endColumn": 30, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 24, - "endColumn": 28, + "startColumn": 19, + "endColumn": 30, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 8, - "endColumn": 14, - "lineCount": 1 + "startColumn": 19, + "endColumn": 70, + "lineCount": 2 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownLambdaType", "range": { - "startColumn": 23, - "endColumn": 36, + "startColumn": 27, + "endColumn": 32, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 23, - "endColumn": 36, + "startColumn": 51, + "endColumn": 56, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 24, - "endColumn": 42, + "startColumn": 36, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 44, - "endColumn": 50, + "startColumn": 16, + "endColumn": 20, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { "startColumn": 16, - "endColumn": 77, + "endColumn": 20, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 20, - "endColumn": 48, + "startColumn": 34, + "endColumn": 38, "lineCount": 1 } - }, + } + ], + "./pymbolic/imperative/instruction.py": [ { - "code": "reportUnknownMemberType", + "code": "reportUnusedImport", "range": { - "startColumn": 50, - "endColumn": 63, + "startColumn": 8, + "endColumn": 18, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnusedImport", "range": { - "startColumn": 50, - "endColumn": 63, + "startColumn": 8, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnusedImport", "range": { - "startColumn": 19, - "endColumn": 37, + "startColumn": 8, + "endColumn": 30, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnusedImport", "range": { - "startColumn": 12, - "endColumn": 20, + "startColumn": 8, + "endColumn": 19, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnusedImport", "range": { - "startColumn": 16, - "endColumn": 22, + "startColumn": 8, + "endColumn": 11, "lineCount": 1 } - }, + } + ], + "./pymbolic/imperative/statement.py": [ { - "code": "reportUnknownMemberType", + "code": "reportImplicitOverride", "range": { - "startColumn": 15, - "endColumn": 34, + "startColumn": 8, + "endColumn": 15, "lineCount": 1 } - }, + } + ], + "./pymbolic/imperative/utils.py": [ { - "code": "reportUnknownMemberType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 63, - "endColumn": 82, + "startColumn": 8, + "endColumn": 18, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportMissingParameterType", "range": { - "startColumn": 12, + "startColumn": 8, "endColumn": 18, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 25, - "endColumn": 51, + "startColumn": 21, + "endColumn": 33, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportMissingParameterType", "range": { - "startColumn": 34, - "endColumn": 35, + "startColumn": 21, + "endColumn": 33, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 37, - "endColumn": 41, + "startColumn": 8, + "endColumn": 21, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportMissingParameterType", "range": { - "startColumn": 16, - "endColumn": 30, + "startColumn": 8, + "endColumn": 21, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 34, - "endColumn": 40, + "startColumn": 8, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 20, - "endColumn": 27, + "startColumn": 8, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 61, - "endColumn": 69, + "startColumn": 8, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportRedeclaration", "range": { - "startColumn": 50, - "endColumn": 68, + "startColumn": 8, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 24, - "endColumn": 41, + "startColumn": 8, + "endColumn": 20, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportMissingParameterType", "range": { - "startColumn": 43, - "endColumn": 44, + "startColumn": 8, + "endColumn": 20, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 68, - "endColumn": 76, + "startColumn": 34, + "endColumn": 35, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportMissingParameterType", "range": { - "startColumn": 40, - "endColumn": 66, + "startColumn": 34, + "endColumn": 35, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 20, - "endColumn": 37, + "startColumn": 23, + "endColumn": 24, "lineCount": 1 } }, { - "code": "reportArgumentType", - "range": { - "startColumn": 38, - "endColumn": 25, - "lineCount": 3 - } - }, - { - "code": "reportUnknownArgumentType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 33, - "endColumn": 42, + "startColumn": 8, + "endColumn": 20, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 48, - "endColumn": 57, + "startColumn": 23, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportMissingParameterType", "range": { - "startColumn": 24, - "endColumn": 38, + "startColumn": 23, + "endColumn": 27, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 4, - "endColumn": 19, + "startColumn": 12, + "endColumn": 22, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownMemberType", "range": { - "startColumn": 4, - "endColumn": 19, + "startColumn": 25, + "endColumn": 32, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 4, - "endColumn": 18, + "startColumn": 44, + "endColumn": 48, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 4, - "endColumn": 18, + "startColumn": 47, + "endColumn": 51, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 4, - "endColumn": 18, + "startColumn": 12, + "endColumn": 19, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownMemberType", "range": { - "startColumn": 4, - "endColumn": 18, + "startColumn": 22, + "endColumn": 29, "lineCount": 1 } }, @@ -5197,63 +5205,63 @@ "code": "reportUnknownVariableType", "range": { "startColumn": 4, - "endColumn": 19, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 4, - "endColumn": 19, + "startColumn": 17, + "endColumn": 32, "lineCount": 1 } }, { - "code": "reportIncompatibleMethodOverride", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 29, + "startColumn": 4, + "endColumn": 16, "lineCount": 1 } }, { - "code": "reportImplicitOverride", + "code": "reportUnknownVariableType", "range": { "startColumn": 8, - "endColumn": 29, + "endColumn": 12, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 36, - "endColumn": 40, + "startColumn": 8, + "endColumn": 20, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 36, - "endColumn": 40, + "startColumn": 41, + "endColumn": 48, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 31, - "endColumn": 43, + "startColumn": 41, + "endColumn": 48, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 31, - "endColumn": 43, + "startColumn": 65, + "endColumn": 69, "lineCount": 1 } }, @@ -5261,406 +5269,406 @@ "code": "reportUnknownVariableType", "range": { "startColumn": 12, - "endColumn": 18, + "endColumn": 15, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 16, - "endColumn": 29, + "startColumn": 19, + "endColumn": 34, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 14, + "startColumn": 12, + "endColumn": 32, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 21, - "endColumn": 35, + "startColumn": 12, + "endColumn": 52, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 21, - "endColumn": 51, + "startColumn": 33, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 40, - "endColumn": 41, + "startColumn": 33, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 29, - "endColumn": 17, - "lineCount": 7 + "startColumn": 16, + "endColumn": 19, + "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 16, - "endColumn": 36, + "startColumn": 23, + "endColumn": 43, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 56, - "endColumn": 69, + "startColumn": 37, + "endColumn": 44, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 56, - "endColumn": 69, + "startColumn": 16, + "endColumn": 19, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 34, - "endColumn": 40, + "startColumn": 23, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportMissingTypeArgument", + "code": "reportUnknownMemberType", "range": { - "startColumn": 28, - "endColumn": 42, + "startColumn": 37, + "endColumn": 44, "lineCount": 1 } - } - ], - "./pymbolic/geometric_algebra/primitives.py": [ + }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportUnknownVariableType", "range": { - "startColumn": 4, - "endColumn": 17, + "startColumn": 12, + "endColumn": 18, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 8, - "endColumn": 16, + "startColumn": 16, + "endColumn": 22, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 23, - "endColumn": 30, + "startColumn": 26, + "endColumn": 39, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 23, - "endColumn": 30, + "startColumn": 26, + "endColumn": 59, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 19, - "endColumn": 30, + "startColumn": 40, + "endColumn": 46, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 19, - "endColumn": 70, - "lineCount": 2 + "startColumn": 20, + "endColumn": 26, + "lineCount": 1 } }, { - "code": "reportUnknownLambdaType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 27, - "endColumn": 32, + "startColumn": 30, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 51, - "endColumn": 56, + "startColumn": 30, + "endColumn": 63, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 36, - "endColumn": 43, + "startColumn": 44, + "endColumn": 50, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 16, - "endColumn": 20, + "startColumn": 37, + "endColumn": 50, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 16, - "endColumn": 20, + "startColumn": 51, + "endColumn": 57, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 34, - "endColumn": 38, + "startColumn": 24, + "endColumn": 45, "lineCount": 1 } - } - ], - "./pymbolic/imperative/instruction.py": [ + }, { - "code": "reportUnusedImport", + "code": "reportUnknownVariableType", "range": { "startColumn": 8, + "endColumn": 14, + "lineCount": 1 + } + }, + { + "code": "reportUnknownVariableType", + "range": { + "startColumn": 12, "endColumn": 18, "lineCount": 1 } }, { - "code": "reportUnusedImport", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 29, + "startColumn": 22, + "endColumn": 35, "lineCount": 1 } }, { - "code": "reportUnusedImport", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 30, + "startColumn": 22, + "endColumn": 55, "lineCount": 1 } }, { - "code": "reportUnusedImport", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 8, - "endColumn": 19, + "startColumn": 36, + "endColumn": 42, "lineCount": 1 } }, { - "code": "reportUnusedImport", + "code": "reportUnknownVariableType", "range": { - "startColumn": 8, - "endColumn": 11, + "startColumn": 16, + "endColumn": 22, "lineCount": 1 } - } - ], - "./pymbolic/imperative/statement.py": [ + }, { - "code": "reportImplicitOverride", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 15, + "startColumn": 26, + "endColumn": 39, "lineCount": 1 } - } - ], - "./pymbolic/imperative/utils.py": [ + }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 18, + "startColumn": 26, + "endColumn": 59, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 8, - "endColumn": 18, + "startColumn": 40, + "endColumn": 46, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 21, - "endColumn": 33, + "startColumn": 29, + "endColumn": 42, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 21, - "endColumn": 33, + "startColumn": 43, + "endColumn": 49, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 21, + "startColumn": 20, + "endColumn": 44, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownVariableType", "range": { "startColumn": 8, - "endColumn": 21, + "endColumn": 14, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 8, - "endColumn": 29, + "startColumn": 12, + "endColumn": 18, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 29, + "startColumn": 22, + "endColumn": 35, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 8, - "endColumn": 29, + "startColumn": 36, + "endColumn": 42, "lineCount": 1 } }, { - "code": "reportRedeclaration", + "code": "reportUnknownMemberType", "range": { - "startColumn": 8, - "endColumn": 29, + "startColumn": 12, + "endColumn": 24, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 8, - "endColumn": 20, + "startColumn": 9, + "endColumn": 15, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 8, - "endColumn": 20, + "startColumn": 17, + "endColumn": 23, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 34, - "endColumn": 35, + "startColumn": 26, + "endColumn": 31, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 34, - "endColumn": 35, + "startColumn": 8, + "endColumn": 20, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 23, - "endColumn": 24, + "startColumn": 4, + "endColumn": 16, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 8, - "endColumn": 20, + "startColumn": 48, + "endColumn": 53, "lineCount": 1 } }, { "code": "reportUnknownParameterType", "range": { - "startColumn": 23, - "endColumn": 27, + "startColumn": 13, + "endColumn": 21, "lineCount": 1 } }, { "code": "reportMissingParameterType", "range": { - "startColumn": 23, - "endColumn": 27, + "startColumn": 13, + "endColumn": 21, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 12, - "endColumn": 22, + "startColumn": 23, + "endColumn": 32, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportMissingParameterType", "range": { - "startColumn": 25, + "startColumn": 23, "endColumn": 32, "lineCount": 1 } @@ -5668,1237 +5676,1141 @@ { "code": "reportUnknownArgumentType", "range": { - "startColumn": 44, - "endColumn": 48, + "startColumn": 20, + "endColumn": 28, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 47, - "endColumn": 51, + "startColumn": 30, + "endColumn": 39, "lineCount": 1 } - }, + } + ], + "./pymbolic/interop/ast.py": [ { - "code": "reportUnknownVariableType", + "code": "reportUnreachable", "range": { - "startColumn": 12, - "endColumn": 19, - "lineCount": 1 + "startColumn": 8, + "endColumn": 33, + "lineCount": 3 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 22, - "endColumn": 29, + "startColumn": 23, + "endColumn": 58, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 4, - "endColumn": 9, + "startColumn": 11, + "endColumn": 13, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportArgumentType", "range": { - "startColumn": 17, - "endColumn": 32, + "startColumn": 16, + "endColumn": 82, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportReturnType", "range": { - "startColumn": 4, - "endColumn": 16, + "startColumn": 15, + "endColumn": 21, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportDeprecated", "range": { - "startColumn": 8, - "endColumn": 12, + "startColumn": 20, + "endColumn": 21, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportReturnType", "range": { - "startColumn": 8, - "endColumn": 20, + "startColumn": 15, + "endColumn": 21, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportDeprecated", "range": { - "startColumn": 41, - "endColumn": 48, + "startColumn": 20, + "endColumn": 21, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportReturnType", "range": { - "startColumn": 41, - "endColumn": 48, + "startColumn": 15, + "endColumn": 21, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportDeprecated", "range": { - "startColumn": 65, - "endColumn": 69, + "startColumn": 20, + "endColumn": 21, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportReturnType", "range": { - "startColumn": 12, - "endColumn": 15, + "startColumn": 15, + "endColumn": 25, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportArgumentType", "range": { - "startColumn": 19, - "endColumn": 34, + "startColumn": 49, + "endColumn": 54, "lineCount": 1 } - }, + } + ], + "./pymbolic/interop/common.py": [ { - "code": "reportUnknownMemberType", + "code": "reportMissingTypeStubs", "range": { - "startColumn": 12, - "endColumn": 32, + "startColumn": 11, + "endColumn": 16, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 12, - "endColumn": 52, + "startColumn": 23, + "endColumn": 58, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 33, - "endColumn": 40, + "startColumn": 16, + "endColumn": 55, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 33, - "endColumn": 40, + "startColumn": 22, + "endColumn": 54, + "lineCount": 1 + } + }, + { + "code": "reportUnknownMemberType", + "range": { + "startColumn": 23, + "endColumn": 29, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 16, - "endColumn": 19, + "startColumn": 34, + "endColumn": 35, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportGeneralTypeIssues", "range": { - "startColumn": 23, - "endColumn": 43, + "startColumn": 39, + "endColumn": 53, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 37, - "endColumn": 44, + "startColumn": 38, + "endColumn": 39, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 16, - "endColumn": 19, + "startColumn": 45, + "endColumn": 46, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportGeneralTypeIssues", "range": { - "startColumn": 23, - "endColumn": 43, + "startColumn": 50, + "endColumn": 60, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 37, - "endColumn": 44, + "startColumn": 16, + "endColumn": 55, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 12, - "endColumn": 18, + "startColumn": 22, + "endColumn": 54, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 16, - "endColumn": 22, + "startColumn": 23, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 26, - "endColumn": 39, + "startColumn": 34, + "endColumn": 35, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 26, - "endColumn": 59, + "startColumn": 39, + "endColumn": 53, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 40, - "endColumn": 46, + "startColumn": 33, + "endColumn": 36, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 20, - "endColumn": 26, + "startColumn": 42, + "endColumn": 45, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 30, - "endColumn": 43, + "startColumn": 49, + "endColumn": 58, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 30, - "endColumn": 63, + "startColumn": 54, + "endColumn": 58, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 44, - "endColumn": 50, + "startColumn": 31, + "endColumn": 34, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 37, - "endColumn": 50, + "startColumn": 40, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 51, - "endColumn": 57, + "startColumn": 47, + "endColumn": 56, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 24, - "endColumn": 45, + "startColumn": 52, + "endColumn": 56, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { "startColumn": 8, - "endColumn": 14, + "endColumn": 11, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 12, - "endColumn": 18, + "startColumn": 15, + "endColumn": 23, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 22, - "endColumn": 35, + "startColumn": 15, + "endColumn": 30, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 22, - "endColumn": 55, + "startColumn": 15, + "endColumn": 41, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", "range": { - "startColumn": 36, - "endColumn": 42, + "startColumn": 15, + "endColumn": 23, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 16, - "endColumn": 22, + "startColumn": 15, + "endColumn": 31, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 26, - "endColumn": 39, + "startColumn": 15, + "endColumn": 37, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 26, - "endColumn": 59, + "startColumn": 15, + "endColumn": 23, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", "range": { - "startColumn": 40, - "endColumn": 46, + "startColumn": 15, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 29, - "endColumn": 42, + "startColumn": 15, + "endColumn": 84, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportOperatorIssue", "range": { - "startColumn": 43, - "endColumn": 49, + "startColumn": 30, + "endColumn": 83, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 20, - "endColumn": 44, + "startColumn": 16, + "endColumn": 20, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 8, - "endColumn": 14, + "startColumn": 31, + "endColumn": 39, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 12, - "endColumn": 18, + "startColumn": 31, + "endColumn": 49, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 22, - "endColumn": 35, + "startColumn": 31, + "endColumn": 49, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", "range": { - "startColumn": 36, - "endColumn": 42, + "startColumn": 16, + "endColumn": 20, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 12, - "endColumn": 24, + "startColumn": 23, + "endColumn": 31, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 9, - "endColumn": 15, + "startColumn": 23, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 17, - "endColumn": 23, + "startColumn": 19, + "endColumn": 68, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 26, - "endColumn": 31, + "startColumn": 19, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 8, - "endColumn": 20, + "startColumn": 19, + "endColumn": 36, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 4, - "endColumn": 16, - "lineCount": 1 + "startColumn": 19, + "endColumn": 61, + "lineCount": 3 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", "range": { - "startColumn": 48, - "endColumn": 53, + "startColumn": 15, + "endColumn": 23, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportAny", "range": { - "startColumn": 13, - "endColumn": 21, + "startColumn": 15, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportAny", "range": { - "startColumn": 13, - "endColumn": 21, - "lineCount": 1 + "startColumn": 15, + "endColumn": 17, + "lineCount": 5 } }, { - "code": "reportUnknownParameterType", + "code": "reportAny", "range": { "startColumn": 23, - "endColumn": 32, + "endColumn": 31, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportAny", "range": { "startColumn": 23, - "endColumn": 32, + "endColumn": 38, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", "range": { - "startColumn": 20, - "endColumn": 28, + "startColumn": 15, + "endColumn": 23, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", "range": { - "startColumn": 30, - "endColumn": 39, + "startColumn": 15, + "endColumn": 33, "lineCount": 1 } - } - ], - "./pymbolic/interop/ast.py": [ + }, { - "code": "reportUnreachable", + "code": "reportAny", "range": { - "startColumn": 8, - "endColumn": 33, - "lineCount": 3 + "startColumn": 15, + "endColumn": 63, + "lineCount": 2 } }, { "code": "reportAny", "range": { - "startColumn": 23, - "endColumn": 58, + "startColumn": 19, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 11, - "endColumn": 13, + "startColumn": 19, + "endColumn": 36, "lineCount": 1 } }, { - "code": "reportArgumentType", + "code": "reportAny", "range": { - "startColumn": 16, - "endColumn": 82, + "startColumn": 19, + "endColumn": 49, "lineCount": 1 } }, { - "code": "reportReturnType", + "code": "reportAny", "range": { - "startColumn": 15, - "endColumn": 21, + "startColumn": 19, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportDeprecated", + "code": "reportAny", "range": { - "startColumn": 20, - "endColumn": 21, + "startColumn": 19, + "endColumn": 38, "lineCount": 1 } }, { - "code": "reportReturnType", + "code": "reportAny", "range": { - "startColumn": 15, - "endColumn": 21, + "startColumn": 19, + "endColumn": 51, "lineCount": 1 } }, { - "code": "reportDeprecated", + "code": "reportAny", "range": { - "startColumn": 20, - "endColumn": 21, + "startColumn": 19, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportReturnType", + "code": "reportAny", "range": { - "startColumn": 15, - "endColumn": 21, + "startColumn": 19, + "endColumn": 36, "lineCount": 1 } }, { - "code": "reportDeprecated", + "code": "reportAny", "range": { - "startColumn": 20, - "endColumn": 21, + "startColumn": 19, + "endColumn": 49, "lineCount": 1 } }, { - "code": "reportReturnType", + "code": "reportAny", "range": { - "startColumn": 15, - "endColumn": 25, + "startColumn": 19, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportArgumentType", + "code": "reportAny", "range": { - "startColumn": 49, - "endColumn": 54, + "startColumn": 19, + "endColumn": 39, "lineCount": 1 } - } - ], - "./pymbolic/interop/common.py": [ + }, { - "code": "reportMissingTypeStubs", + "code": "reportAny", "range": { - "startColumn": 11, - "endColumn": 16, + "startColumn": 19, + "endColumn": 52, "lineCount": 1 } }, { "code": "reportAny", "range": { - "startColumn": 23, - "endColumn": 58, + "startColumn": 19, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", "range": { - "startColumn": 16, - "endColumn": 55, + "startColumn": 19, + "endColumn": 42, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", "range": { - "startColumn": 22, - "endColumn": 54, + "startColumn": 19, + "endColumn": 55, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 23, - "endColumn": 29, + "startColumn": 19, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 34, - "endColumn": 35, + "startColumn": 19, + "endColumn": 45, "lineCount": 1 } }, { - "code": "reportGeneralTypeIssues", + "code": "reportAny", "range": { - "startColumn": 39, - "endColumn": 53, + "startColumn": 19, + "endColumn": 58, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", "range": { - "startColumn": 38, - "endColumn": 39, + "startColumn": 15, + "endColumn": 23, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 45, - "endColumn": 46, + "startColumn": 15, + "endColumn": 34, "lineCount": 1 } }, { - "code": "reportGeneralTypeIssues", + "code": "reportAny", "range": { - "startColumn": 50, - "endColumn": 60, - "lineCount": 1 + "startColumn": 15, + "endColumn": 62, + "lineCount": 2 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", "range": { - "startColumn": 16, - "endColumn": 55, + "startColumn": 18, + "endColumn": 26, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", "range": { - "startColumn": 22, - "endColumn": 54, + "startColumn": 18, + "endColumn": 33, "lineCount": 1 } - }, + } + ], + "./pymbolic/interop/matchpy/__init__.py": [ { - "code": "reportUnknownMemberType", + "code": "reportMissingTypeStubs", "range": { - "startColumn": 23, - "endColumn": 29, + "startColumn": 5, + "endColumn": 12, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 34, - "endColumn": 35, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportIncompatibleVariableOverride", "range": { - "startColumn": 39, - "endColumn": 53, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 33, - "endColumn": 36, + "startColumn": 29, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 42, - "endColumn": 45, + "startColumn": 35, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportIncompatibleVariableOverride", "range": { - "startColumn": 49, - "endColumn": 58, + "startColumn": 4, + "endColumn": 8, "lineCount": 1 } }, { - "code": "reportAttributeAccessIssue", + "code": "reportUnknownVariableType", "range": { - "startColumn": 54, - "endColumn": 58, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportIncompatibleVariableOverride", "range": { - "startColumn": 31, - "endColumn": 34, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 40, - "endColumn": 43, + "startColumn": 29, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 47, - "endColumn": 56, + "startColumn": 35, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportAttributeAccessIssue", + "code": "reportIncompatibleMethodOverride", "range": { - "startColumn": 52, - "endColumn": 56, + "startColumn": 4, + "endColumn": 17, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleMethodOverride", "range": { - "startColumn": 8, - "endColumn": 11, + "startColumn": 4, + "endColumn": 17, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownVariableType", "range": { - "startColumn": 15, - "endColumn": 23, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleVariableOverride", "range": { - "startColumn": 15, - "endColumn": 30, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownMemberType", "range": { - "startColumn": 15, + "startColumn": 29, "endColumn": 41, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 15, - "endColumn": 23, + "startColumn": 35, + "endColumn": 41, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleMethodOverride", "range": { - "startColumn": 15, - "endColumn": 31, + "startColumn": 4, + "endColumn": 17, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownVariableType", "range": { - "startColumn": 15, - "endColumn": 37, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleVariableOverride", "range": { - "startColumn": 15, - "endColumn": 23, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownMemberType", "range": { - "startColumn": 15, - "endColumn": 29, + "startColumn": 29, + "endColumn": 41, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 15, - "endColumn": 84, + "startColumn": 35, + "endColumn": 41, "lineCount": 1 } }, { - "code": "reportOperatorIssue", + "code": "reportUnknownVariableType", "range": { - "startColumn": 30, - "endColumn": 83, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleVariableOverride", "range": { - "startColumn": 16, - "endColumn": 20, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownMemberType", "range": { - "startColumn": 31, - "endColumn": 39, + "startColumn": 29, + "endColumn": 41, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 31, - "endColumn": 49, + "startColumn": 35, + "endColumn": 41, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleMethodOverride", "range": { - "startColumn": 31, - "endColumn": 49, + "startColumn": 4, + "endColumn": 17, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleMethodOverride", "range": { - "startColumn": 16, - "endColumn": 20, + "startColumn": 4, + "endColumn": 17, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownVariableType", "range": { - "startColumn": 23, - "endColumn": 31, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleVariableOverride", "range": { - "startColumn": 23, - "endColumn": 40, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownMemberType", "range": { - "startColumn": 19, - "endColumn": 68, + "startColumn": 29, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 19, - "endColumn": 27, + "startColumn": 35, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownVariableType", "range": { - "startColumn": 19, - "endColumn": 36, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleVariableOverride", "range": { - "startColumn": 19, - "endColumn": 61, - "lineCount": 3 + "startColumn": 4, + "endColumn": 9, + "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownMemberType", "range": { - "startColumn": 15, - "endColumn": 23, + "startColumn": 29, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 15, - "endColumn": 28, + "startColumn": 35, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleMethodOverride", "range": { - "startColumn": 15, + "startColumn": 4, "endColumn": 17, - "lineCount": 5 + "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleMethodOverride", "range": { - "startColumn": 23, - "endColumn": 31, + "startColumn": 4, + "endColumn": 17, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownVariableType", "range": { - "startColumn": 23, - "endColumn": 38, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleVariableOverride", "range": { - "startColumn": 15, - "endColumn": 23, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownMemberType", "range": { - "startColumn": 15, - "endColumn": 33, + "startColumn": 29, + "endColumn": 42, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 15, - "endColumn": 63, - "lineCount": 2 + "startColumn": 35, + "endColumn": 42, + "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleMethodOverride", "range": { - "startColumn": 19, - "endColumn": 27, + "startColumn": 4, + "endColumn": 17, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownVariableType", "range": { - "startColumn": 19, - "endColumn": 36, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleVariableOverride", "range": { - "startColumn": 19, - "endColumn": 49, + "startColumn": 4, + "endColumn": 9, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownMemberType", "range": { - "startColumn": 19, - "endColumn": 27, + "startColumn": 29, + "endColumn": 42, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 19, - "endColumn": 38, + "startColumn": 35, + "endColumn": 42, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleMethodOverride", "range": { - "startColumn": 19, - "endColumn": 51, + "startColumn": 8, + "endColumn": 11, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportImplicitOverride", "range": { - "startColumn": 19, - "endColumn": 27, + "startColumn": 8, + "endColumn": 11, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleMethodOverride", "range": { - "startColumn": 19, - "endColumn": 36, + "startColumn": 8, + "endColumn": 12, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportImplicitOverride", "range": { - "startColumn": 19, - "endColumn": 49, + "startColumn": 8, + "endColumn": 12, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportIncompatibleMethodOverride", "range": { - "startColumn": 19, - "endColumn": 27, + "startColumn": 8, + "endColumn": 12, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportImplicitOverride", "range": { - "startColumn": 19, - "endColumn": 39, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 19, - "endColumn": 52, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 19, - "endColumn": 27, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 19, - "endColumn": 42, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 19, - "endColumn": 55, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 19, - "endColumn": 27, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 19, - "endColumn": 45, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 19, - "endColumn": 58, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 15, - "endColumn": 23, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 15, - "endColumn": 34, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 15, - "endColumn": 62, - "lineCount": 2 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 18, - "endColumn": 26, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 18, - "endColumn": 33, - "lineCount": 1 - } - } - ], - "./pymbolic/interop/matchpy/__init__.py": [ - { - "code": "reportMissingTypeStubs", - "range": { - "startColumn": 5, + "startColumn": 8, "endColumn": 12, "lineCount": 1 } @@ -6906,87 +6818,31 @@ { "code": "reportUnknownVariableType", "range": { - "startColumn": 4, - "endColumn": 9, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleVariableOverride", - "range": { - "startColumn": 4, - "endColumn": 9, - "lineCount": 1 - } - }, - { - "code": "reportUnknownMemberType", - "range": { - "startColumn": 29, - "endColumn": 43, - "lineCount": 1 - } - }, - { - "code": "reportAttributeAccessIssue", - "range": { - "startColumn": 35, - "endColumn": 43, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleVariableOverride", - "range": { - "startColumn": 4, - "endColumn": 8, - "lineCount": 1 - } - }, - { - "code": "reportUnknownVariableType", - "range": { - "startColumn": 4, - "endColumn": 9, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleVariableOverride", - "range": { - "startColumn": 4, - "endColumn": 9, + "startColumn": 8, + "endColumn": 14, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 29, - "endColumn": 40, + "startColumn": 17, + "endColumn": 32, "lineCount": 1 } }, { "code": "reportAttributeAccessIssue", "range": { - "startColumn": 35, - "endColumn": 40, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleMethodOverride", - "range": { - "startColumn": 4, - "endColumn": 17, + "startColumn": 24, + "endColumn": 32, "lineCount": 1 } }, { - "code": "reportIncompatibleMethodOverride", + "code": "reportReturnType", "range": { - "startColumn": 4, + "startColumn": 11, "endColumn": 17, "lineCount": 1 } @@ -6994,2524 +6850,1780 @@ { "code": "reportUnknownVariableType", "range": { - "startColumn": 4, - "endColumn": 9, + "startColumn": 11, + "endColumn": 17, "lineCount": 1 } }, { - "code": "reportIncompatibleVariableOverride", + "code": "reportAssignmentType", "range": { - "startColumn": 4, - "endColumn": 9, + "startColumn": 28, + "endColumn": 57, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportOptionalCall", "range": { - "startColumn": 29, - "endColumn": 41, + "startColumn": 21, + "endColumn": 44, "lineCount": 1 } }, { - "code": "reportAttributeAccessIssue", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 35, - "endColumn": 41, + "startColumn": 39, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportIncompatibleMethodOverride", + "code": "reportUnknownVariableType", "range": { - "startColumn": 4, - "endColumn": 17, + "startColumn": 19, + "endColumn": 23, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 4, - "endColumn": 9, + "startColumn": 25, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportIncompatibleVariableOverride", + "code": "reportAssignmentType", "range": { - "startColumn": 4, - "endColumn": 9, + "startColumn": 28, + "endColumn": 57, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportOptionalCall", "range": { - "startColumn": 29, - "endColumn": 41, + "startColumn": 22, + "endColumn": 45, "lineCount": 1 } }, { - "code": "reportAttributeAccessIssue", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 35, - "endColumn": 41, + "startColumn": 40, + "endColumn": 44, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 4, - "endColumn": 9, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleVariableOverride", - "range": { - "startColumn": 4, - "endColumn": 9, + "startColumn": 20, + "endColumn": 24, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 29, - "endColumn": 41, + "startColumn": 26, + "endColumn": 30, "lineCount": 1 } }, { - "code": "reportAttributeAccessIssue", + "code": "reportOptionalCall", "range": { - "startColumn": 35, - "endColumn": 41, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleMethodOverride", - "range": { - "startColumn": 4, - "endColumn": 17, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleMethodOverride", - "range": { - "startColumn": 4, - "endColumn": 17, - "lineCount": 1 - } - }, - { - "code": "reportUnknownVariableType", - "range": { - "startColumn": 4, - "endColumn": 9, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleVariableOverride", - "range": { - "startColumn": 4, - "endColumn": 9, - "lineCount": 1 - } - }, - { - "code": "reportUnknownMemberType", - "range": { - "startColumn": 29, - "endColumn": 43, - "lineCount": 1 - } - }, - { - "code": "reportAttributeAccessIssue", - "range": { - "startColumn": 35, - "endColumn": 43, - "lineCount": 1 - } - }, - { - "code": "reportUnknownVariableType", - "range": { - "startColumn": 4, - "endColumn": 9, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleVariableOverride", - "range": { - "startColumn": 4, - "endColumn": 9, - "lineCount": 1 - } - }, - { - "code": "reportUnknownMemberType", - "range": { - "startColumn": 29, - "endColumn": 40, - "lineCount": 1 - } - }, - { - "code": "reportAttributeAccessIssue", - "range": { - "startColumn": 35, - "endColumn": 40, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleMethodOverride", - "range": { - "startColumn": 4, - "endColumn": 17, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleMethodOverride", - "range": { - "startColumn": 4, - "endColumn": 17, - "lineCount": 1 - } - }, - { - "code": "reportUnknownVariableType", - "range": { - "startColumn": 4, - "endColumn": 9, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleVariableOverride", - "range": { - "startColumn": 4, - "endColumn": 9, - "lineCount": 1 - } - }, - { - "code": "reportUnknownMemberType", - "range": { - "startColumn": 29, - "endColumn": 42, - "lineCount": 1 - } - }, - { - "code": "reportAttributeAccessIssue", - "range": { - "startColumn": 35, - "endColumn": 42, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleMethodOverride", - "range": { - "startColumn": 4, - "endColumn": 17, - "lineCount": 1 - } - }, - { - "code": "reportUnknownVariableType", - "range": { - "startColumn": 4, - "endColumn": 9, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleVariableOverride", - "range": { - "startColumn": 4, - "endColumn": 9, - "lineCount": 1 - } - }, - { - "code": "reportUnknownMemberType", - "range": { - "startColumn": 29, - "endColumn": 42, - "lineCount": 1 - } - }, - { - "code": "reportAttributeAccessIssue", - "range": { - "startColumn": 35, - "endColumn": 42, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleMethodOverride", - "range": { - "startColumn": 8, - "endColumn": 11, - "lineCount": 1 - } - }, - { - "code": "reportImplicitOverride", - "range": { - "startColumn": 8, - "endColumn": 11, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleMethodOverride", - "range": { - "startColumn": 8, - "endColumn": 12, - "lineCount": 1 - } - }, - { - "code": "reportImplicitOverride", - "range": { - "startColumn": 8, - "endColumn": 12, - "lineCount": 1 - } - }, - { - "code": "reportIncompatibleMethodOverride", - "range": { - "startColumn": 8, - "endColumn": 12, - "lineCount": 1 - } - }, - { - "code": "reportImplicitOverride", - "range": { - "startColumn": 8, - "endColumn": 12, - "lineCount": 1 - } - }, - { - "code": "reportUnknownVariableType", - "range": { - "startColumn": 8, - "endColumn": 14, - "lineCount": 1 - } - }, - { - "code": "reportUnknownMemberType", - "range": { - "startColumn": 17, - "endColumn": 32, - "lineCount": 1 - } - }, - { - "code": "reportAttributeAccessIssue", - "range": { - "startColumn": 24, - "endColumn": 32, - "lineCount": 1 - } - }, - { - "code": "reportReturnType", - "range": { - "startColumn": 11, - "endColumn": 17, - "lineCount": 1 - } - }, - { - "code": "reportUnknownVariableType", - "range": { - "startColumn": 11, - "endColumn": 17, - "lineCount": 1 - } - }, - { - "code": "reportAssignmentType", - "range": { - "startColumn": 28, - "endColumn": 57, - "lineCount": 1 - } - }, - { - "code": "reportOptionalCall", - "range": { - "startColumn": 21, - "endColumn": 44, - "lineCount": 1 - } - }, - { - "code": "reportUnknownArgumentType", - "range": { - "startColumn": 39, - "endColumn": 43, - "lineCount": 1 - } - }, - { - "code": "reportUnknownVariableType", - "range": { - "startColumn": 19, - "endColumn": 23, - "lineCount": 1 - } - }, - { - "code": "reportUnknownVariableType", - "range": { - "startColumn": 25, - "endColumn": 29, - "lineCount": 1 - } - }, - { - "code": "reportAssignmentType", - "range": { - "startColumn": 28, - "endColumn": 57, - "lineCount": 1 - } - }, - { - "code": "reportOptionalCall", - "range": { - "startColumn": 22, - "endColumn": 45, - "lineCount": 1 - } - }, - { - "code": "reportUnknownArgumentType", - "range": { - "startColumn": 40, - "endColumn": 44, - "lineCount": 1 - } - }, - { - "code": "reportUnknownVariableType", - "range": { - "startColumn": 20, - "endColumn": 24, - "lineCount": 1 - } - }, - { - "code": "reportUnknownVariableType", - "range": { - "startColumn": 26, - "endColumn": 30, - "lineCount": 1 - } - }, - { - "code": "reportOptionalCall", - "range": { - "startColumn": 15, - "endColumn": 71, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 54, - "endColumn": 63, - "lineCount": 1 - } - }, - { - "code": "reportAssignmentType", - "range": { - "startColumn": 28, - "endColumn": 57, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 56, - "endColumn": 73, - "lineCount": 1 - } - }, - { - "code": "reportAssignmentType", - "range": { - "startColumn": 28, - "endColumn": 57, - "lineCount": 1 - } - }, - { - "code": "reportOptionalCall", - "range": { - "startColumn": 21, - "endColumn": 41, - "lineCount": 1 - } - }, - { - "code": "reportOptionalCall", - "range": { - "startColumn": 15, - "endColumn": 40, - "lineCount": 1 - } - } - ], - "./pymbolic/interop/matchpy/mapper.py": [ - { - "code": "reportAny", - "range": { - "startColumn": 8, - "endColumn": 11, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 19, - "endColumn": 35, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 8, - "endColumn": 14, - "lineCount": 1 - } - }, - { - "code": "reportUnknownMemberType", - "range": { - "startColumn": 60, - "endColumn": 79, - "lineCount": 1 - } - }, - { - "code": "reportUnknownArgumentType", - "range": { - "startColumn": 60, - "endColumn": 79, - "lineCount": 1 - } - }, - { - "code": "reportAttributeAccessIssue", - "range": { - "startColumn": 65, - "endColumn": 79, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 15, - "endColumn": 27, - "lineCount": 1 - } - }, - { - "code": "reportUnannotatedClassAttribute", - "range": { - "startColumn": 4, - "endColumn": 12, - "lineCount": 1 - } - } - ], - "./pymbolic/interop/matchpy/tofrom.py": [ - { - "code": "reportMissingTypeStubs", - "range": { - "startColumn": 7, - "endColumn": 15, - "lineCount": 1 - } - }, - { - "code": "reportMissingTypeStubs", - "range": { - "startColumn": 5, - "endColumn": 12, - "lineCount": 1 - } - }, - { - "code": "reportReturnType", - "range": { - "startColumn": 15, - "endColumn": 65, - "lineCount": 3 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 22, - "endColumn": 64, - "lineCount": 2 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 32, - "endColumn": 63, - "lineCount": 2 - } - }, - { - "code": "reportReturnType", - "range": { - "startColumn": 15, - "endColumn": 73, - "lineCount": 3 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 27, - "endColumn": 72, - "lineCount": 2 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 37, - "endColumn": 71, - "lineCount": 2 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 22, - "endColumn": 45, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 31, - "endColumn": 44, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 37, - "endColumn": 40, - "lineCount": 1 - } - }, - { - "code": "reportPrivateUsage", - "range": { - "startColumn": 49, - "endColumn": 58, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 27, - "endColumn": 51, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 36, - "endColumn": 50, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 42, - "endColumn": 45, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 26, - "endColumn": 43, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 35, - "endColumn": 42, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 45, - "endColumn": 62, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 54, - "endColumn": 61, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 26, - "endColumn": 43, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 35, - "endColumn": 42, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 45, - "endColumn": 62, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 54, - "endColumn": 61, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 27, - "endColumn": 44, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 36, - "endColumn": 43, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 46, - "endColumn": 63, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 55, - "endColumn": 62, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 23, - "endColumn": 40, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 32, - "endColumn": 39, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 42, - "endColumn": 59, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 51, - "endColumn": 58, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 27, - "endColumn": 44, - "lineCount": 1 - } - }, - { - "code": "reportArgumentType", - "range": { - "startColumn": 36, - "endColumn": 43, - "lineCount": 1 - } - }, - { - "code": "reportAny", - "range": { - "startColumn": 46, - "endColumn": 63, + "startColumn": 15, + "endColumn": 71, "lineCount": 1 } }, { "code": "reportArgumentType", "range": { - "startColumn": 55, - "endColumn": 62, + "startColumn": 54, + "endColumn": 63, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportAssignmentType", "range": { "startColumn": 28, - "endColumn": 45, + "endColumn": 57, "lineCount": 1 } }, { "code": "reportArgumentType", "range": { - "startColumn": 37, - "endColumn": 44, + "startColumn": 56, + "endColumn": 73, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportAssignmentType", "range": { - "startColumn": 47, - "endColumn": 64, + "startColumn": 28, + "endColumn": 57, "lineCount": 1 } }, { - "code": "reportArgumentType", + "code": "reportOptionalCall", "range": { - "startColumn": 56, - "endColumn": 63, + "startColumn": 21, + "endColumn": 41, "lineCount": 1 } }, { - "code": "reportArgumentType", + "code": "reportOptionalCall", "range": { - "startColumn": 36, - "endColumn": 41, + "startColumn": 15, + "endColumn": 40, "lineCount": 1 } - }, + } + ], + "./pymbolic/interop/matchpy/mapper.py": [ { - "code": "reportArgumentType", + "code": "reportAny", "range": { - "startColumn": 40, - "endColumn": 47, + "startColumn": 8, + "endColumn": 11, "lineCount": 1 } }, { - "code": "reportArgumentType", + "code": "reportAny", "range": { - "startColumn": 42, - "endColumn": 49, + "startColumn": 19, + "endColumn": 35, "lineCount": 1 } }, { - "code": "reportArgumentType", + "code": "reportAny", "range": { - "startColumn": 43, - "endColumn": 50, + "startColumn": 8, + "endColumn": 14, "lineCount": 1 } }, { - "code": "reportArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 42, - "endColumn": 49, + "startColumn": 60, + "endColumn": 79, "lineCount": 1 } }, { - "code": "reportArgumentType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 43, - "endColumn": 50, + "startColumn": 60, + "endColumn": 79, "lineCount": 1 } }, { - "code": "reportArgumentType", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 43, - "endColumn": 50, + "startColumn": 65, + "endColumn": 79, "lineCount": 1 } }, { "code": "reportAny", "range": { - "startColumn": 28, - "endColumn": 44, + "startColumn": 15, + "endColumn": 27, "lineCount": 1 } }, { - "code": "reportArgumentType", + "code": "reportUnannotatedClassAttribute", "range": { - "startColumn": 37, - "endColumn": 43, + "startColumn": 4, + "endColumn": 12, "lineCount": 1 } - }, + } + ], + "./pymbolic/interop/matchpy/tofrom.py": [ { - "code": "reportAny", + "code": "reportMissingTypeStubs", "range": { - "startColumn": 28, - "endColumn": 44, + "startColumn": 7, + "endColumn": 15, "lineCount": 1 } }, { - "code": "reportArgumentType", + "code": "reportMissingTypeStubs", "range": { - "startColumn": 37, - "endColumn": 43, + "startColumn": 5, + "endColumn": 12, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportReturnType", "range": { - "startColumn": 28, - "endColumn": 47, - "lineCount": 1 + "startColumn": 15, + "endColumn": 65, + "lineCount": 3 } }, { "code": "reportArgumentType", "range": { - "startColumn": 37, - "endColumn": 46, - "lineCount": 1 + "startColumn": 22, + "endColumn": 64, + "lineCount": 2 } }, { - "code": "reportAny", + "code": "reportArgumentType", "range": { - "startColumn": 28, - "endColumn": 48, - "lineCount": 1 + "startColumn": 32, + "endColumn": 63, + "lineCount": 2 } }, { - "code": "reportArgumentType", + "code": "reportReturnType", "range": { - "startColumn": 37, - "endColumn": 47, - "lineCount": 1 + "startColumn": 15, + "endColumn": 73, + "lineCount": 3 } }, { - "code": "reportAny", + "code": "reportArgumentType", "range": { - "startColumn": 20, - "endColumn": 44, - "lineCount": 1 + "startColumn": 27, + "endColumn": 72, + "lineCount": 2 } }, { "code": "reportArgumentType", "range": { - "startColumn": 29, - "endColumn": 43, - "lineCount": 1 + "startColumn": 37, + "endColumn": 71, + "lineCount": 2 } }, { "code": "reportAny", "range": { - "startColumn": 20, - "endColumn": 39, + "startColumn": 22, + "endColumn": 45, "lineCount": 1 } }, { "code": "reportArgumentType", "range": { - "startColumn": 29, - "endColumn": 38, + "startColumn": 31, + "endColumn": 44, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportArgumentType", "range": { - "startColumn": 20, + "startColumn": 37, "endColumn": 40, "lineCount": 1 } }, { - "code": "reportArgumentType", + "code": "reportPrivateUsage", "range": { - "startColumn": 29, - "endColumn": 39, + "startColumn": 49, + "endColumn": 58, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportAny", "range": { - "startColumn": 25, - "endColumn": 31, + "startColumn": 27, + "endColumn": 51, "lineCount": 1 } }, { - "code": "reportMissingParameterType", + "code": "reportArgumentType", "range": { - "startColumn": 25, - "endColumn": 31, + "startColumn": 36, + "endColumn": 50, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportArgumentType", "range": { - "startColumn": 16, - "endColumn": 19, + "startColumn": 42, + "endColumn": 45, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", "range": { - "startColumn": 64, - "endColumn": 68, + "startColumn": 26, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportArgumentType", "range": { - "startColumn": 45, - "endColumn": 49, + "startColumn": 35, + "endColumn": 42, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 51, - "endColumn": 56, + "startColumn": 45, + "endColumn": 62, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportArgumentType", "range": { - "startColumn": 51, - "endColumn": 53, + "startColumn": 54, + "endColumn": 61, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 59, - "endColumn": 61, + "startColumn": 26, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportArgumentType", "range": { - "startColumn": 70, - "endColumn": 73, + "startColumn": 35, + "endColumn": 42, "lineCount": 1 } - } - ], - "./pymbolic/interop/maxima.py": [ + }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 20, - "endColumn": 28, + "startColumn": 45, + "endColumn": 62, "lineCount": 1 } }, { "code": "reportArgumentType", "range": { - "startColumn": 46, - "endColumn": 49, + "startColumn": 54, + "endColumn": 61, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 16, - "endColumn": 24, + "startColumn": 27, + "endColumn": 44, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportArgumentType", "range": { - "startColumn": 20, - "endColumn": 28, + "startColumn": 36, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 15, - "endColumn": 38, + "startColumn": 46, + "endColumn": 63, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportArgumentType", "range": { - "startColumn": 8, - "endColumn": 26, + "startColumn": 55, + "endColumn": 62, "lineCount": 1 } }, { - "code": "reportAttributeAccessIssue", + "code": "reportAny", "range": { - "startColumn": 19, - "endColumn": 26, + "startColumn": 23, + "endColumn": 40, "lineCount": 1 } - } - ], - "./pymbolic/interop/symengine.py": [ + }, { - "code": "reportImplicitOverride", + "code": "reportArgumentType", "range": { - "startColumn": 8, - "endColumn": 15, + "startColumn": 32, + "endColumn": 39, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportAny", "range": { - "startColumn": 22, - "endColumn": 26, + "startColumn": 42, + "endColumn": 59, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportArgumentType", "range": { - "startColumn": 28, - "endColumn": 34, + "startColumn": 51, + "endColumn": 58, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 8, - "endColumn": 12, + "startColumn": 27, + "endColumn": 44, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportArgumentType", "range": { - "startColumn": 14, - "endColumn": 17, + "startColumn": 36, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 20, - "endColumn": 29, + "startColumn": 46, + "endColumn": 63, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportArgumentType", "range": { - "startColumn": 19, - "endColumn": 23, + "startColumn": 55, + "endColumn": 62, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", "range": { - "startColumn": 49, - "endColumn": 52, + "startColumn": 28, + "endColumn": 45, "lineCount": 1 } }, { "code": "reportArgumentType", "range": { - "startColumn": 30, + "startColumn": 37, "endColumn": 44, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", "range": { - "startColumn": 39, - "endColumn": 43, + "startColumn": 47, + "endColumn": 64, "lineCount": 1 } }, { "code": "reportArgumentType", "range": { - "startColumn": 46, - "endColumn": 59, + "startColumn": 56, + "endColumn": 63, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportArgumentType", "range": { - "startColumn": 55, - "endColumn": 58, + "startColumn": 36, + "endColumn": 41, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportArgumentType", "range": { - "startColumn": 24, - "endColumn": 30, + "startColumn": 40, + "endColumn": 47, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportArgumentType", "range": { - "startColumn": 24, - "endColumn": 32, + "startColumn": 42, + "endColumn": 49, "lineCount": 1 } }, { - "code": "reportAttributeAccessIssue", + "code": "reportArgumentType", "range": { - "startColumn": 29, - "endColumn": 30, + "startColumn": 43, + "endColumn": 50, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportArgumentType", "range": { - "startColumn": 24, - "endColumn": 30, + "startColumn": 42, + "endColumn": 49, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportArgumentType", "range": { - "startColumn": 24, - "endColumn": 32, + "startColumn": 43, + "endColumn": 50, "lineCount": 1 } }, { - "code": "reportAttributeAccessIssue", + "code": "reportArgumentType", "range": { - "startColumn": 29, - "endColumn": 30, + "startColumn": 43, + "endColumn": 50, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportAny", "range": { "startColumn": 28, - "endColumn": 32, + "endColumn": 44, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportArgumentType", "range": { - "startColumn": 34, - "endColumn": 46, + "startColumn": 37, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 19, - "endColumn": 28, + "startColumn": 28, + "endColumn": 44, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportArgumentType", "range": { - "startColumn": 19, - "endColumn": 28, + "startColumn": 37, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 16, - "endColumn": 25, + "startColumn": 28, + "endColumn": 47, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportArgumentType", "range": { - "startColumn": 16, - "endColumn": 39, + "startColumn": 37, + "endColumn": 46, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 49, - "endColumn": 58, + "startColumn": 28, + "endColumn": 48, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportArgumentType", "range": { - "startColumn": 49, - "endColumn": 61, + "startColumn": 37, + "endColumn": 47, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportAny", + "range": { + "startColumn": 20, + "endColumn": 44, + "lineCount": 1 + } + }, + { + "code": "reportArgumentType", "range": { "startColumn": 29, - "endColumn": 32, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportAny", "range": { - "startColumn": 38, - "endColumn": 41, + "startColumn": 20, + "endColumn": 39, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportArgumentType", "range": { - "startColumn": 45, - "endColumn": 54, + "startColumn": 29, + "endColumn": 38, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportAny", "range": { - "startColumn": 19, - "endColumn": 32, + "startColumn": 20, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportArgumentType", "range": { - "startColumn": 19, - "endColumn": 34, + "startColumn": 29, + "endColumn": 39, "lineCount": 1 } }, { - "code": "reportAttributeAccessIssue", + "code": "reportUnknownParameterType", "range": { - "startColumn": 24, - "endColumn": 32, + "startColumn": 25, + "endColumn": 31, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportMissingParameterType", "range": { - "startColumn": 52, - "endColumn": 62, + "startColumn": 25, + "endColumn": 31, "lineCount": 1 } }, { "code": "reportUnknownVariableType", "range": { - "startColumn": 12, - "endColumn": 22, + "startColumn": 16, + "endColumn": 19, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 25, - "endColumn": 37, + "startColumn": 64, + "endColumn": 68, "lineCount": 1 } }, { - "code": "reportAttributeAccessIssue", + "code": "reportUnknownVariableType", "range": { - "startColumn": 30, - "endColumn": 37, + "startColumn": 45, + "endColumn": 49, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 25, - "endColumn": 34, + "startColumn": 51, + "endColumn": 56, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 25, - "endColumn": 37, + "startColumn": 51, + "endColumn": 53, "lineCount": 1 } }, { - "code": "reportAttributeAccessIssue", + "code": "reportUnknownVariableType", "range": { - "startColumn": 30, - "endColumn": 34, + "startColumn": 59, + "endColumn": 61, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 40, - "endColumn": 57, + "startColumn": 70, + "endColumn": 73, "lineCount": 1 } - }, + } + ], + "./pymbolic/interop/maxima.py": [ { - "code": "reportUnknownArgumentType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 40, - "endColumn": 57, + "startColumn": 20, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportArgumentType", "range": { - "startColumn": 59, - "endColumn": 75, + "startColumn": 46, + "endColumn": 49, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 59, - "endColumn": 75, + "startColumn": 16, + "endColumn": 24, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 30, - "endColumn": 41, + "startColumn": 20, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 25, - "endColumn": 34, + "startColumn": 15, + "endColumn": 38, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 25, - "endColumn": 37, + "startColumn": 8, + "endColumn": 26, "lineCount": 1 } }, { "code": "reportAttributeAccessIssue", "range": { - "startColumn": 30, - "endColumn": 34, + "startColumn": 19, + "endColumn": 26, "lineCount": 1 } - }, + } + ], + "./pymbolic/interop/symengine.py": [ { - "code": "reportAny", + "code": "reportImplicitOverride", "range": { "startColumn": 8, - "endColumn": 11, + "endColumn": 15, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownParameterType", "range": { - "startColumn": 0, - "endColumn": 3, + "startColumn": 22, + "endColumn": 26, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 6, - "endColumn": 17, + "startColumn": 28, + "endColumn": 34, "lineCount": 1 } }, { - "code": "reportUnknownParameterType", + "code": "reportUnknownVariableType", "range": { - "startColumn": 4, + "startColumn": 8, "endColumn": 12, "lineCount": 1 } }, + { + "code": "reportUnknownVariableType", + "range": { + "startColumn": 14, + "endColumn": 17, + "lineCount": 1 + } + }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 42, - "endColumn": 53, + "startColumn": 20, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 15, + "startColumn": 19, "endColumn": 23, "lineCount": 1 } }, { - "code": "reportUnknownMemberType", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 11, - "endColumn": 21, + "startColumn": 49, + "endColumn": 52, "lineCount": 1 } }, { - "code": "reportUnknownVariableType", + "code": "reportArgumentType", "range": { - "startColumn": 11, - "endColumn": 35, + "startColumn": 30, + "endColumn": 44, "lineCount": 1 } - } - ], - "./pymbolic/interop/sympy.py": [ + }, { - "code": "reportMissingTypeStubs", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 7, - "endColumn": 12, + "startColumn": 39, + "endColumn": 43, "lineCount": 1 } }, { - "code": "reportMissingTypeStubs", + "code": "reportArgumentType", "range": { - "startColumn": 9, - "endColumn": 27, + "startColumn": 46, + "endColumn": 59, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 32, - "endColumn": 36, + "startColumn": 55, + "endColumn": 58, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 40, - "endColumn": 51, + "startColumn": 24, + "endColumn": 30, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 40, - "endColumn": 51, + "startColumn": 24, + "endColumn": 32, "lineCount": 1 } }, { "code": "reportAttributeAccessIssue", "range": { - "startColumn": 45, - "endColumn": 51, + "startColumn": 29, + "endColumn": 30, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 53, - "endColumn": 63, + "startColumn": 24, + "endColumn": 30, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 53, - "endColumn": 63, + "startColumn": 24, + "endColumn": 32, "lineCount": 1 } }, { "code": "reportAttributeAccessIssue", "range": { - "startColumn": 58, - "endColumn": 63, + "startColumn": 29, + "endColumn": 30, "lineCount": 1 } }, { - "code": "reportIndexIssue", + "code": "reportUnknownParameterType", "range": { - "startColumn": 16, - "endColumn": 28, + "startColumn": 28, + "endColumn": 32, "lineCount": 1 } }, { "code": "reportUnknownMemberType", "range": { - "startColumn": 16, - "endColumn": 42, + "startColumn": 34, + "endColumn": 46, "lineCount": 1 } }, { - "code": "reportIndexIssue", + "code": "reportUnknownMemberType", "range": { - "startColumn": 52, - "endColumn": 64, + "startColumn": 19, + "endColumn": 28, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 52, - "endColumn": 67, + "startColumn": 19, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportIndexIssue", + "code": "reportUnknownMemberType", "range": { - "startColumn": 24, - "endColumn": 36, + "startColumn": 16, + "endColumn": 25, "lineCount": 1 } }, { - "code": "reportUnknownArgumentType", + "code": "reportUnknownMemberType", "range": { - "startColumn": 24, + "startColumn": 16, "endColumn": 39, "lineCount": 1 } }, { - "code": "reportIndexIssue", + "code": "reportUnknownMemberType", "range": { - "startColumn": 25, - "endColumn": 37, + "startColumn": 49, + "endColumn": 58, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 25, - "endColumn": 40, - "lineCount": 1 - } - }, - { - "code": "reportIndexIssue", - "range": { - "startColumn": 24, - "endColumn": 36, + "startColumn": 49, + "endColumn": 61, "lineCount": 1 } }, { "code": "reportUnknownArgumentType", "range": { - "startColumn": 24, - "endColumn": 39, + "startColumn": 29, + "endColumn": 32, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownVariableType", "range": { - "startColumn": 8, - "endColumn": 11, + "startColumn": 38, + "endColumn": 41, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownMemberType", "range": { - "startColumn": 15, - "endColumn": 23, + "startColumn": 45, + "endColumn": 54, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownMemberType", "range": { - "startColumn": 15, - "endColumn": 31, + "startColumn": 19, + "endColumn": 32, "lineCount": 1 } }, { - "code": "reportAny", - "range": { - "startColumn": 15, - "endColumn": 13, - "lineCount": 4 - } - }, - { - "code": "reportAny", + "code": "reportUnknownVariableType", "range": { - "startColumn": 12, - "endColumn": 20, + "startColumn": 19, + "endColumn": 34, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 12, + "startColumn": 24, "endColumn": 32, "lineCount": 1 } - } - ], - "./pymbolic/mapper/__init__.py": [ - { - "code": "reportUnusedParameter", - "range": { - "startColumn": 27, - "endColumn": 31, - "lineCount": 1 - } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownVariableType", "range": { - "startColumn": 43, - "endColumn": 49, + "startColumn": 52, + "endColumn": 62, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownVariableType", "range": { - "startColumn": 35, - "endColumn": 46, + "startColumn": 12, + "endColumn": 22, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownMemberType", "range": { - "startColumn": 16, - "endColumn": 22, + "startColumn": 25, + "endColumn": 37, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 23, - "endColumn": 29, + "startColumn": 30, + "endColumn": 37, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownMemberType", "range": { - "startColumn": 43, - "endColumn": 54, + "startColumn": 25, + "endColumn": 34, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 31, - "endColumn": 60, + "startColumn": 25, + "endColumn": 37, "lineCount": 1 } }, { - "code": "reportUnannotatedClassAttribute", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 4, - "endColumn": 7, + "startColumn": 30, + "endColumn": 34, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownMemberType", "range": { - "startColumn": 43, - "endColumn": 54, + "startColumn": 40, + "endColumn": 57, "lineCount": 1 } }, { - "code": "reportAny", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 31, - "endColumn": 60, + "startColumn": 40, + "endColumn": 57, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownMemberType", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 59, + "endColumn": 75, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 13, - "endColumn": 17, + "startColumn": 59, + "endColumn": 75, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownMemberType", "range": { - "startColumn": 29, - "endColumn": 35, + "startColumn": 30, + "endColumn": 41, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownMemberType", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 25, + "endColumn": 34, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownArgumentType", "range": { "startColumn": 25, - "endColumn": 29, + "endColumn": 37, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 41, - "endColumn": 47, + "startColumn": 30, + "endColumn": 34, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAny", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 8, + "endColumn": 11, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownVariableType", "range": { - "startColumn": 26, - "endColumn": 30, + "startColumn": 0, + "endColumn": 3, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownMemberType", "range": { - "startColumn": 42, - "endColumn": 48, + "startColumn": 6, + "endColumn": 17, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownParameterType", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 4, + "endColumn": 12, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownMemberType", "range": { - "startColumn": 30, - "endColumn": 34, + "startColumn": 42, + "endColumn": 53, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownVariableType", "range": { - "startColumn": 46, - "endColumn": 52, + "startColumn": 15, + "endColumn": 23, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownMemberType", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 11, + "endColumn": 21, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownVariableType", "range": { - "startColumn": 29, - "endColumn": 33, + "startColumn": 11, + "endColumn": 35, "lineCount": 1 } - }, + } + ], + "./pymbolic/interop/sympy.py": [ { - "code": "reportUnusedParameter", + "code": "reportMissingTypeStubs", "range": { - "startColumn": 45, - "endColumn": 51, + "startColumn": 7, + "endColumn": 12, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportMissingTypeStubs", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 9, + "endColumn": 27, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 31, - "endColumn": 35, + "startColumn": 32, + "endColumn": 36, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownMemberType", "range": { - "startColumn": 47, - "endColumn": 53, + "startColumn": 40, + "endColumn": 51, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 40, + "endColumn": 51, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 31, - "endColumn": 35, + "startColumn": 45, + "endColumn": 51, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownMemberType", "range": { - "startColumn": 47, - "endColumn": 53, + "startColumn": 53, + "endColumn": 63, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 53, + "endColumn": 63, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAttributeAccessIssue", "range": { - "startColumn": 32, - "endColumn": 36, + "startColumn": 58, + "endColumn": 63, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportIndexIssue", "range": { - "startColumn": 48, - "endColumn": 54, + "startColumn": 16, + "endColumn": 28, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownMemberType", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 16, + "endColumn": 42, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportIndexIssue", "range": { - "startColumn": 27, - "endColumn": 31, + "startColumn": 52, + "endColumn": 64, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 43, - "endColumn": 49, + "startColumn": 52, + "endColumn": 67, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportIndexIssue", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 24, + "endColumn": 36, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 33, - "endColumn": 37, + "startColumn": 24, + "endColumn": 39, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportIndexIssue", "range": { - "startColumn": 49, - "endColumn": 55, + "startColumn": 25, + "endColumn": 37, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 25, + "endColumn": 40, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportIndexIssue", "range": { - "startColumn": 26, - "endColumn": 30, + "startColumn": 24, + "endColumn": 36, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnknownArgumentType", "range": { - "startColumn": 42, - "endColumn": 48, + "startColumn": 24, + "endColumn": 39, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAny", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 8, + "endColumn": 11, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAny", "range": { - "startColumn": 26, - "endColumn": 30, + "startColumn": 15, + "endColumn": 23, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAny", "range": { - "startColumn": 42, - "endColumn": 48, + "startColumn": 15, + "endColumn": 31, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAny", "range": { - "startColumn": 12, - "endColumn": 16, - "lineCount": 1 + "startColumn": 15, + "endColumn": 13, + "lineCount": 4 } }, { - "code": "reportUnusedParameter", + "code": "reportAny", "range": { - "startColumn": 37, - "endColumn": 41, + "startColumn": 12, + "endColumn": 20, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAny", "range": { - "startColumn": 53, - "endColumn": 59, + "startColumn": 12, + "endColumn": 32, "lineCount": 1 } - }, + } + ], + "./pymbolic/mapper/__init__.py": [ { - "code": "reportUnusedParameter", + "code": "reportAny", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 35, + "endColumn": 46, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAny", "range": { - "startColumn": 13, - "endColumn": 17, + "startColumn": 16, + "endColumn": 22, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAny", "range": { - "startColumn": 29, - "endColumn": 35, + "startColumn": 23, + "endColumn": 29, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAny", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 43, + "endColumn": 54, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAny", "range": { - "startColumn": 40, - "endColumn": 44, + "startColumn": 31, + "endColumn": 60, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportUnannotatedClassAttribute", "range": { - "startColumn": 56, - "endColumn": 62, + "startColumn": 4, + "endColumn": 7, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAny", "range": { - "startColumn": 12, - "endColumn": 16, + "startColumn": 43, + "endColumn": 54, "lineCount": 1 } }, { - "code": "reportUnusedParameter", + "code": "reportAny", "range": { - "startColumn": 32, - "endColumn": 36, + "startColumn": 31, + "endColumn": 60, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 48, - "endColumn": 54, + "startColumn": 12, + "endColumn": 16, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 16, - "endColumn": 20, + "startColumn": 13, + "endColumn": 17, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 37, - "endColumn": 41, + "startColumn": 29, + "endColumn": 35, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 53, - "endColumn": 59, + "startColumn": 12, + "endColumn": 16, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 16, - "endColumn": 20, + "startColumn": 12, + "endColumn": 16, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 37, - "endColumn": 41, + "startColumn": 29, + "endColumn": 33, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 53, - "endColumn": 59, + "startColumn": 45, + "endColumn": 51, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 16, - "endColumn": 20, + "startColumn": 12, + "endColumn": 16, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 36, - "endColumn": 40, + "startColumn": 12, + "endColumn": 16, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 52, - "endColumn": 58, + "startColumn": 31, + "endColumn": 35, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 16, - "endColumn": 20, + "startColumn": 47, + "endColumn": 53, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 37, - "endColumn": 41, + "startColumn": 12, + "endColumn": 16, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 53, - "endColumn": 59, + "startColumn": 12, + "endColumn": 16, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 16, - "endColumn": 20, + "startColumn": 12, + "endColumn": 16, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 37, - "endColumn": 41, + "startColumn": 12, + "endColumn": 16, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 53, - "endColumn": 59, + "startColumn": 12, + "endColumn": 16, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 16, - "endColumn": 20, + "startColumn": 12, + "endColumn": 16, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 37, - "endColumn": 41, + "startColumn": 12, + "endColumn": 16, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 53, - "endColumn": 59, + "startColumn": 13, + "endColumn": 17, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 16, - "endColumn": 20, + "startColumn": 29, + "endColumn": 35, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 36, - "endColumn": 40, + "startColumn": 12, + "endColumn": 16, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 52, - "endColumn": 58, + "startColumn": 40, + "endColumn": 44, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 16, - "endColumn": 20, + "startColumn": 56, + "endColumn": 62, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 37, - "endColumn": 41, + "startColumn": 16, + "endColumn": 20, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 53, - "endColumn": 59, + "startColumn": 16, + "endColumn": 20, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 27, - "endColumn": 31, + "startColumn": 16, + "endColumn": 20, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 22, - "endColumn": 26, + "startColumn": 16, + "endColumn": 20, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 38, - "endColumn": 44, + "startColumn": 16, + "endColumn": 20, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 31, - "endColumn": 35, + "startColumn": 16, + "endColumn": 20, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 22, - "endColumn": 26, + "startColumn": 16, + "endColumn": 20, "lineCount": 1 } }, { "code": "reportUnusedParameter", "range": { - "startColumn": 38, - "endColumn": 44, + "startColumn": 16, + "endColumn": 20, "lineCount": 1 } }, @@ -9635,46 +8747,6 @@ "lineCount": 1 } }, - { - "code": "reportMissingParameterType", - "range": { - "startColumn": 29, - "endColumn": 33, - "lineCount": 1 - } - }, - { - "code": "reportMissingParameterType", - "range": { - "startColumn": 21, - "endColumn": 25, - "lineCount": 1 - } - }, - { - "code": "reportMissingParameterType", - "range": { - "startColumn": 31, - "endColumn": 35, - "lineCount": 1 - } - }, - { - "code": "reportMissingParameterType", - "range": { - "startColumn": 29, - "endColumn": 33, - "lineCount": 1 - } - }, - { - "code": "reportMissingParameterType", - "range": { - "startColumn": 24, - "endColumn": 28, - "lineCount": 1 - } - }, { "code": "reportUnusedParameter", "range": { @@ -9755,46 +8827,6 @@ "lineCount": 1 } }, - { - "code": "reportUnknownParameterType", - "range": { - "startColumn": 8, - "endColumn": 20, - "lineCount": 1 - } - }, - { - "code": "reportImplicitOverride", - "range": { - "startColumn": 8, - "endColumn": 20, - "lineCount": 1 - } - }, - { - "code": "reportMissingParameterType", - "range": { - "startColumn": 27, - "endColumn": 31, - "lineCount": 1 - } - }, - { - "code": "reportMissingParameterType", - "range": { - "startColumn": 34, - "endColumn": 38, - "lineCount": 1 - } - }, - { - "code": "reportMissingParameterType", - "range": { - "startColumn": 42, - "endColumn": 48, - "lineCount": 1 - } - }, { "code": "reportUnknownMemberType", "range": { diff --git a/pymbolic/cse.py b/pymbolic/cse.py index 16c11ac7..5f3efe65 100644 --- a/pymbolic/cse.py +++ b/pymbolic/cse.py @@ -25,14 +25,14 @@ from typing import TYPE_CHECKING, cast -from typing_extensions import override +from typing_extensions import Self, override import pymbolic.primitives as prim -from pymbolic.mapper import IdentityMapper, WalkMapper +from pymbolic.mapper import IdentityMapper, P, WalkMapper if TYPE_CHECKING: - from collections.abc import Callable, Hashable + from collections.abc import Callable, Hashable, Iterable, Sequence, Set from pymbolic.typing import Expression @@ -41,9 +41,9 @@ class NormalizedKeyGetter: - def __call__(self, expr): + def __call__(self, expr: object, /) -> Hashable: if isinstance(expr, COMMUTATIVE_CLASSES): - kid_count = {} + kid_count: dict[Expression, int] = {} for child in expr.children: kid_count[child] = kid_count.get(child, 0) + 1 @@ -52,12 +52,16 @@ def __call__(self, expr): return expr -class UseCountMapper(WalkMapper): - def __init__(self, get_key): +class UseCountMapper(WalkMapper[P]): + subexpr_counts: dict[Hashable, int] + get_key: Callable[[object], Hashable] + + def __init__(self, get_key: Callable[[object], Hashable]) -> None: self.subexpr_counts = {} self.get_key = get_key - def visit(self, expr): + @override + def visit(self, expr: object, /, *args: P.args, **kwargs: P.kwargs) -> bool: key = self.get_key(expr) if key in self.subexpr_counts: @@ -71,7 +75,9 @@ def visit(self, expr): # continue traversing return True - def map_common_subexpression(self, expr, *args, **kwargs): + @override + def map_common_subexpression(self, expr: prim.CommonSubexpression, /, + *args: P.args, **kwargs: P.kwargs) -> None: # For existing CSEs, reuse has already been decided. # Add to @@ -82,18 +88,23 @@ def map_common_subexpression(self, expr, *args, **kwargs): # This order reversal matters: Since get_key removes the outer # CSE, need to traverse first, then add to counter. - self.rec(expr.child) + self.rec(expr.child, *args, **kwargs) self.subexpr_counts[key] = 1 class CSEMapper(IdentityMapper[[]]): - def __init__(self, to_eliminate, get_key): - self.to_eliminate = to_eliminate - self.get_key: Callable[[Expression], Hashable] = get_key + to_eliminate: Set[Hashable] + get_key: Callable[[object], Hashable] + canonical_subexprs: dict[Hashable, Expression] - self.canonical_subexprs: dict[Hashable, Expression] = {} + def __init__(self, + to_eliminate: Set[Hashable], + get_key: Callable[[object], Hashable]) -> None: + self.to_eliminate = to_eliminate + self.get_key = get_key + self.canonical_subexprs = {} - def get_cse(self, expr: prim.ExpressionNode, key: Hashable = None): + def get_cse(self, expr: prim.ExpressionNode, /, key: Hashable = None) -> Expression: if key is None: key = self.get_key(expr) @@ -111,8 +122,8 @@ def map_sum(self, expr: (prim.Sum | prim.Product | prim.Power | prim.Quotient | prim.Remainder | prim.FloorDiv | prim.Call - ) - ): + ), / + ) -> Expression: key = self.get_key(expr) if key in self.to_eliminate: result = self.get_cse(expr, key) @@ -120,15 +131,15 @@ def map_sum(self, else: return getattr(IdentityMapper, expr.mapper_method)(self, expr) - map_product = map_sum - map_power = map_sum - map_quotient = map_sum - map_remainder = map_sum - map_floor_div = map_sum - map_call = map_sum + map_product: Callable[[Self, prim.Product], Expression] = map_sum + map_power: Callable[[Self, prim.Power], Expression] = map_sum + map_quotient: Callable[[Self, prim.Quotient], Expression] = map_sum + map_remainder: Callable[[Self, prim.Remainder], Expression] = map_sum + map_floor_div: Callable[[Self, prim.FloorDiv], Expression] = map_sum + map_call: Callable[[Self, prim.Call], Expression] = map_sum @override - def map_common_subexpression(self, expr: prim.CommonSubexpression): + def map_common_subexpression(self, expr: prim.CommonSubexpression, /) -> Expression: # Avoid creating CSE(CSE(...)) if type(expr) is prim.CommonSubexpression: return prim.make_common_subexpression( @@ -143,14 +154,15 @@ def map_common_subexpression(self, expr: prim.CommonSubexpression): return type(expr)(result, expr.prefix, expr.scope, **expr.get_extra_properties()) - def map_substitution(self, expr): + @override + def map_substitution(self, expr: prim.Substitution, /) -> Expression: return type(expr)( expr.child, expr.variables, tuple([self.rec(v) for v in expr.values])) -def tag_common_subexpressions(exprs): +def tag_common_subexpressions(exprs: Iterable[Expression]) -> Sequence[Expression]: get_key = NormalizedKeyGetter() ucm = UseCountMapper(get_key) diff --git a/pymbolic/mapper/__init__.py b/pymbolic/mapper/__init__.py index 155ca5e2..717435e3 100644 --- a/pymbolic/mapper/__init__.py +++ b/pymbolic/mapper/__init__.py @@ -163,7 +163,7 @@ class Mapper(Generic[ResultT, P]): """ def handle_unsupported_expression(self, - expr: object, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: object, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: """Mapper method that is invoked for :class:`pymbolic.ExpressionNode` subclasses for which a mapper method does not exist in this mapper. @@ -174,7 +174,7 @@ def handle_unsupported_expression(self, type(self), type(expr))) def __call__(self, - expr: Expression, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: Expression, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: """Dispatch *expr* to its corresponding mapper method. Pass on ``*args`` and ``**kwargs`` unmodified. @@ -207,7 +207,7 @@ def __call__(self, rec = __call__ def rec_fallback(self, - expr: object, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: object, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: if isinstance(expr, p.ExpressionNode): for cls in type(expr).__mro__[1:]: method_name = getattr(cls, "mapper_method", None) @@ -221,162 +221,163 @@ def rec_fallback(self, return self.map_foreign(expr, *args, **kwargs) def map_algebraic_leaf(self, - expr: p.AlgebraicLeaf, + expr: p.AlgebraicLeaf, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_variable(self, - expr: p.Variable, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Variable, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.map_algebraic_leaf(expr, *args, **kwargs) def map_subscript(self, - expr: p.Subscript, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Subscript, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.map_algebraic_leaf(expr, *args, **kwargs) def map_call(self, - expr: p.Call, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Call, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.map_algebraic_leaf(expr, *args, **kwargs) def map_call_with_kwargs(self, - expr: p.CallWithKwargs, + expr: p.CallWithKwargs, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.map_algebraic_leaf(expr, *args, **kwargs) def map_lookup(self, - expr: p.Lookup, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Lookup, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.map_algebraic_leaf(expr, *args, **kwargs) def map_if(self, - expr: p.If, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.If, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_sum(self, - expr: p.Sum, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Sum, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_product(self, - expr: p.Product, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Product, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_rational(self, - expr: Rational, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: Rational, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_quotient(self, - expr: p.Quotient, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Quotient, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_floor_div(self, - expr: p.FloorDiv, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.FloorDiv, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_remainder(self, - expr: p.Remainder, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Remainder, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_power(self, - expr: p.Power, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Power, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_constant(self, - expr: object, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: object, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_comparison(self, - expr: p.Comparison, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Comparison, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_min(self, - expr: p.Min, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Min, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_max(self, - expr: p.Max, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Max, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_list(self, - expr: list[Expression], *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: list[Expression], /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_tuple(self, - expr: tuple[Expression, ...], + expr: tuple[Expression, ...], /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_numpy_array(self, - expr: NDArray[np.generic], *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: NDArray[np.generic], /, + *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_left_shift(self, - expr: p.LeftShift, *args: P.args, **kwargs: P.kwargs + expr: p.LeftShift, /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: raise NotImplementedError def map_right_shift(self, - expr: p.RightShift, *args: P.args, **kwargs: P.kwargs + expr: p.RightShift, /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: raise NotImplementedError def map_bitwise_not(self, - expr: p.BitwiseNot, *args: P.args, **kwargs: P.kwargs + expr: p.BitwiseNot, /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: raise NotImplementedError def map_bitwise_or(self, - expr: p.BitwiseOr, *args: P.args, **kwargs: P.kwargs + expr: p.BitwiseOr, /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: raise NotImplementedError def map_bitwise_and(self, - expr: p.BitwiseAnd, *args: P.args, **kwargs: P.kwargs + expr: p.BitwiseAnd, /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: raise NotImplementedError def map_bitwise_xor(self, - expr: p.BitwiseXor, *args: P.args, **kwargs: P.kwargs + expr: p.BitwiseXor, /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: raise NotImplementedError def map_logical_not(self, - expr: p.LogicalNot, *args: P.args, **kwargs: P.kwargs + expr: p.LogicalNot, /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: raise NotImplementedError def map_logical_or(self, - expr: p.LogicalOr, *args: P.args, **kwargs: P.kwargs + expr: p.LogicalOr, /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: raise NotImplementedError def map_logical_and(self, - expr: p.LogicalAnd, *args: P.args, **kwargs: P.kwargs + expr: p.LogicalAnd, /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: raise NotImplementedError def map_nan(self, - expr: p.NaN, - *args: P.args, - **kwargs: P.kwargs + expr: p.NaN, /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: return self.map_algebraic_leaf(expr, *args, **kwargs) - def map_wildcard(self, expr: p.Wildcard, - *args: P.args, **kwargs: P.kwargs) -> ResultT: + def map_wildcard(self, + expr: p.Wildcard, /, *args: P.args, **kwargs: P.kwargs + ) -> ResultT: raise NotImplementedError - def map_dot_wildcard(self, expr: p.DotWildcard, - *args: P.args, **kwargs: P.kwargs) -> ResultT: + def map_dot_wildcard(self, + expr: p.DotWildcard, /, *args: P.args, **kwargs: P.kwargs + ) -> ResultT: raise NotImplementedError - def map_star_wildcard(self, expr: p.StarWildcard, + def map_star_wildcard(self, expr: p.StarWildcard, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError - def map_function_symbol(self, expr: p.FunctionSymbol, + def map_function_symbol(self, expr: p.FunctionSymbol, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_multivector(self, - expr: MultiVector[ArithmeticExpression], + expr: MultiVector[ArithmeticExpression], /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: raise NotImplementedError @@ -385,22 +386,22 @@ def map_multivector(self, # multiple inheritance with CSE-caching mappers def map_substitution(self, - expr: p.Substitution, + expr: p.Substitution, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_derivative(self, - expr: p.Derivative, + expr: p.Derivative, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_slice(self, - expr: p.Slice, + expr: p.Slice, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: raise NotImplementedError def map_foreign(self, - expr: object, + expr: object, /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: @@ -513,12 +514,12 @@ class CombineMapper(Mapper[ResultT, P]): :class:`pymbolic.mapper.dependency.DependencyMapper` is another example. """ - def combine(self, values: Iterable[ResultT]) -> ResultT: + def combine(self, values: Iterable[ResultT], /) -> ResultT: raise NotImplementedError @override def map_call(self, - expr: p.Call, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Call, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(( self.rec(expr.function, *args, **kwargs), *[self.rec(child, *args, **kwargs) for child in expr.parameters] @@ -526,7 +527,7 @@ def map_call(self, @override def map_call_with_kwargs(self, - expr: p.CallWithKwargs, + expr: p.CallWithKwargs, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(( self.rec(expr.function, *args, **kwargs), @@ -537,151 +538,151 @@ def map_call_with_kwargs(self, @override def map_subscript(self, - expr: p.Subscript, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Subscript, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine( [self.rec(expr.aggregate, *args, **kwargs), self.rec(expr.index, *args, **kwargs)]) @override def map_lookup(self, - expr: p.Lookup, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Lookup, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.rec(expr.aggregate, *args, **kwargs) @override def map_sum(self, - expr: p.Sum, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Sum, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(self.rec(child, *args, **kwargs) for child in expr.children) @override def map_product(self, - expr: p.Product, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Product, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(self.rec(child, *args, **kwargs) for child in expr.children) @override def map_quotient(self, - expr: p.Quotient, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Quotient, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(( self.rec(expr.numerator, *args, **kwargs), self.rec(expr.denominator, *args, **kwargs))) @override def map_floor_div(self, - expr: p.FloorDiv, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.FloorDiv, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(( self.rec(expr.numerator, *args, **kwargs), self.rec(expr.denominator, *args, **kwargs))) @override def map_remainder(self, - expr: p.Remainder, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Remainder, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(( self.rec(expr.numerator, *args, **kwargs), self.rec(expr.denominator, *args, **kwargs))) @override def map_power(self, - expr: p.Power, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Power, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(( self.rec(expr.base, *args, **kwargs), self.rec(expr.exponent, *args, **kwargs))) @override def map_left_shift(self, - expr: p.LeftShift, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.LeftShift, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(( self.rec(expr.shiftee, *args, **kwargs), self.rec(expr.shift, *args, **kwargs))) @override def map_right_shift(self, - expr: p.RightShift, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.RightShift, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(( self.rec(expr.shiftee, *args, **kwargs), self.rec(expr.shift, *args, **kwargs))) @override def map_bitwise_not(self, - expr: p.BitwiseNot, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.BitwiseNot, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.rec(expr.child, *args, **kwargs) @override def map_bitwise_or(self, - expr: p.BitwiseOr, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.BitwiseOr, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(self.rec(child, *args, **kwargs) for child in expr.children) @override def map_bitwise_and(self, - expr: p.BitwiseAnd, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.BitwiseAnd, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(self.rec(child, *args, **kwargs) for child in expr.children) @override def map_bitwise_xor(self, - expr: p.BitwiseXor, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.BitwiseXor, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(self.rec(child, *args, **kwargs) for child in expr.children) @override def map_logical_not(self, - expr: p.LogicalNot, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.LogicalNot, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.rec(expr.child, *args, **kwargs) @override def map_logical_or(self, - expr: p.LogicalOr, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.LogicalOr, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(self.rec(child, *args, **kwargs) for child in expr.children) @override def map_logical_and(self, - expr: p.LogicalAnd, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.LogicalAnd, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(self.rec(child, *args, **kwargs) for child in expr.children) @override def map_comparison(self, - expr: p.Comparison, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Comparison, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(( self.rec(expr.left, *args, **kwargs), self.rec(expr.right, *args, **kwargs))) @override def map_max(self, - expr: p.Max, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Max, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(self.rec(child, *args, **kwargs) for child in expr.children) @override def map_min(self, - expr: p.Min, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.Min, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(self.rec(child, *args, **kwargs) for child in expr.children) @override def map_tuple(self, - expr: tuple[Expression, ...], *args: P.args, **kwargs: P.kwargs - ) -> ResultT: + expr: tuple[Expression, ...], /, + *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine(self.rec(child, *args, **kwargs) for child in expr) @override def map_list(self, - expr: list[Expression], *args: P.args, **kwargs: P.kwargs + expr: list[Expression], /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: return self.combine(self.rec(child, *args, **kwargs) for child in expr) @override def map_numpy_array(self, - expr: NDArray[np.generic], *args: P.args, **kwargs: P.kwargs + expr: NDArray[np.generic], /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: # FIXME Can the type-ignore be avoided? return self.combine(self.rec(el, *args, **kwargs) for el in expr.flat) # pyright: ignore[reportArgumentType] @override def map_multivector(self, - expr: MultiVector[ArithmeticExpression], + expr: MultiVector[ArithmeticExpression], /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: return self.combine( @@ -689,13 +690,13 @@ def map_multivector(self, for _bits, coeff in expr.data.items()) def map_common_subexpression(self, - expr: p.CommonSubexpression, *args: P.args, **kwargs: P.kwargs + expr: p.CommonSubexpression, /, *args: P.args, **kwargs: P.kwargs ) -> ResultT: return self.rec(expr.child, *args, **kwargs) @override def map_if(self, - expr: p.If, *args: P.args, **kwargs: P.kwargs) -> ResultT: + expr: p.If, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.combine([ self.rec(expr.condition, *args, **kwargs), self.rec(expr.then, *args, **kwargs), @@ -724,9 +725,7 @@ class Collector(CombineMapper[Set[CollectedT], P]): """ @override - def combine(self, - values: Iterable[Set[CollectedT]] - ) -> frozenset[CollectedT]: + def combine(self, values: Iterable[Set[CollectedT]], /) -> frozenset[CollectedT]: it = iter(values) try: first = next(it) @@ -736,32 +735,32 @@ def combine(self, return frozenset(first).union(*it) @override - def map_constant(self, expr: object, + def map_constant(self, expr: object, /, *args: P.args, **kwargs: P.kwargs) -> Set[CollectedT]: return set() @override - def map_variable(self, expr: p.Variable, + def map_variable(self, expr: p.Variable, /, *args: P.args, **kwargs: P.kwargs) -> Set[CollectedT]: return set() @override - def map_wildcard(self, expr: p.Wildcard, + def map_wildcard(self, expr: p.Wildcard, /, *args: P.args, **kwargs: P.kwargs) -> Set[CollectedT]: return set() @override - def map_dot_wildcard(self, expr: p.DotWildcard, + def map_dot_wildcard(self, expr: p.DotWildcard, /, *args: P.args, **kwargs: P.kwargs) -> Set[CollectedT]: return set() @override - def map_star_wildcard(self, expr: p.StarWildcard, + def map_star_wildcard(self, expr: p.StarWildcard, /, *args: P.args, **kwargs: P.kwargs) -> Set[CollectedT]: return set() @override - def map_function_symbol(self, expr: p.FunctionSymbol, + def map_function_symbol(self, expr: p.FunctionSymbol, /, *args: P.args, **kwargs: P.kwargs) -> Set[CollectedT]: return set() @@ -785,7 +784,7 @@ class IdentityMapper(Mapper[Expression, P]): """ def rec_arith(self, - expr: ArithmeticExpression, *args: P.args, **kwargs: P.kwargs + expr: ArithmeticExpression, /, *args: P.args, **kwargs: P.kwargs ) -> ArithmeticExpression: res = self.rec(expr, *args, **kwargs) assert p.is_arithmetic_expression(res) @@ -793,7 +792,7 @@ def rec_arith(self, @override def map_constant(self, - expr: object, *args: P.args, **kwargs: P.kwargs + expr: object, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: # leaf -- no need to rebuild assert p.is_valid_operand(expr) @@ -801,38 +800,38 @@ def map_constant(self, @override def map_variable(self, - expr: p.Variable, *args: P.args, **kwargs: P.kwargs + expr: p.Variable, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: # leaf -- no need to rebuild return expr @override def map_wildcard(self, - expr: p.Wildcard, *args: P.args, **kwargs: P.kwargs + expr: p.Wildcard, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: return expr @override def map_dot_wildcard(self, - expr: p.DotWildcard, *args: P.args, **kwargs: P.kwargs + expr: p.DotWildcard, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: return expr @override def map_star_wildcard(self, - expr: p.StarWildcard, *args: P.args, **kwargs: P.kwargs + expr: p.StarWildcard, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: return expr @override def map_function_symbol(self, - expr: p.FunctionSymbol, *args: P.args, **kwargs: P.kwargs + expr: p.FunctionSymbol, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: return expr @override def map_call(self, - expr: p.Call, *args: P.args, **kwargs: P.kwargs + expr: p.Call, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: function = self.rec(expr.function, *args, **kwargs) parameters = tuple([ @@ -848,7 +847,7 @@ def map_call(self, @override def map_call_with_kwargs(self, - expr: p.CallWithKwargs, *args: P.args, **kwargs: P.kwargs + expr: p.CallWithKwargs, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: function = self.rec(expr.function, *args, **kwargs) parameters = tuple([ @@ -868,7 +867,7 @@ def map_call_with_kwargs(self, @override def map_subscript(self, - expr: p.Subscript, *args: P.args, **kwargs: P.kwargs + expr: p.Subscript, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: aggregate = self.rec(expr.aggregate, *args, **kwargs) index = self.rec(expr.index, *args, **kwargs) @@ -878,7 +877,7 @@ def map_subscript(self, @override def map_lookup(self, - expr: p.Lookup, *args: P.args, **kwargs: P.kwargs + expr: p.Lookup, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: aggregate = self.rec(expr.aggregate, *args, **kwargs) if aggregate is expr.aggregate: @@ -887,7 +886,7 @@ def map_lookup(self, @override def map_sum(self, - expr: p.Sum, *args: P.args, **kwargs: P.kwargs + expr: p.Sum, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: children = [self.rec_arith(child, *args, **kwargs) for child in expr.children] if all(child is orig_child @@ -898,7 +897,7 @@ def map_sum(self, @override def map_product(self, - expr: p.Product, *args: P.args, **kwargs: P.kwargs + expr: p.Product, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: children = [self.rec_arith(child, *args, **kwargs) for child in expr.children] if all(child is orig_child @@ -909,7 +908,7 @@ def map_product(self, @override def map_quotient(self, - expr: p.Quotient, *args: P.args, **kwargs: P.kwargs + expr: p.Quotient, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: numerator = self.rec_arith(expr.numerator, *args, **kwargs) denominator = self.rec_arith(expr.denominator, *args, **kwargs) @@ -919,7 +918,7 @@ def map_quotient(self, @override def map_floor_div(self, - expr: p.FloorDiv, *args: P.args, **kwargs: P.kwargs + expr: p.FloorDiv, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: numerator = self.rec_arith(expr.numerator, *args, **kwargs) denominator = self.rec_arith(expr.denominator, *args, **kwargs) @@ -929,7 +928,7 @@ def map_floor_div(self, @override def map_remainder(self, - expr: p.Remainder, *args: P.args, **kwargs: P.kwargs + expr: p.Remainder, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: numerator = self.rec_arith(expr.numerator, *args, **kwargs) denominator = self.rec_arith(expr.denominator, *args, **kwargs) @@ -939,7 +938,7 @@ def map_remainder(self, @override def map_power(self, - expr: p.Power, *args: P.args, **kwargs: P.kwargs + expr: p.Power, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: base = self.rec_arith(expr.base, *args, **kwargs) exponent = self.rec_arith(expr.exponent, *args, **kwargs) @@ -949,7 +948,7 @@ def map_power(self, @override def map_left_shift(self, - expr: p.LeftShift, *args: P.args, **kwargs: P.kwargs + expr: p.LeftShift, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: shiftee = self.rec(expr.shiftee, *args, **kwargs) shift = self.rec(expr.shift, *args, **kwargs) @@ -959,7 +958,7 @@ def map_left_shift(self, @override def map_right_shift(self, - expr: p.RightShift, *args: P.args, **kwargs: P.kwargs + expr: p.RightShift, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: shiftee = self.rec(expr.shiftee, *args, **kwargs) shift = self.rec(expr.shift, *args, **kwargs) @@ -969,7 +968,7 @@ def map_right_shift(self, @override def map_bitwise_not(self, - expr: p.BitwiseNot, *args: P.args, **kwargs: P.kwargs + expr: p.BitwiseNot, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: child = self.rec(expr.child, *args, **kwargs) if child is expr.child: @@ -978,7 +977,7 @@ def map_bitwise_not(self, @override def map_bitwise_or(self, - expr: p.BitwiseOr, *args: P.args, **kwargs: P.kwargs + expr: p.BitwiseOr, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: children = [self.rec(child, *args, **kwargs) for child in expr.children] if all(child is orig_child @@ -989,7 +988,7 @@ def map_bitwise_or(self, @override def map_bitwise_and(self, - expr: p.BitwiseAnd, *args: P.args, **kwargs: P.kwargs + expr: p.BitwiseAnd, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: children = [self.rec(child, *args, **kwargs) for child in expr.children] if all(child is orig_child @@ -1000,7 +999,7 @@ def map_bitwise_and(self, @override def map_bitwise_xor(self, - expr: p.BitwiseXor, *args: P.args, **kwargs: P.kwargs + expr: p.BitwiseXor, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: children = [self.rec(child, *args, **kwargs) for child in expr.children] if all(child is orig_child @@ -1011,7 +1010,7 @@ def map_bitwise_xor(self, @override def map_logical_not(self, - expr: p.LogicalNot, *args: P.args, **kwargs: P.kwargs + expr: p.LogicalNot, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: child = self.rec(expr.child, *args, **kwargs) if child is expr.child: @@ -1020,7 +1019,7 @@ def map_logical_not(self, @override def map_logical_or(self, - expr: p.LogicalOr, *args: P.args, **kwargs: P.kwargs + expr: p.LogicalOr, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: children = [self.rec(child, *args, **kwargs) for child in expr.children] if all(child is orig_child @@ -1031,7 +1030,7 @@ def map_logical_or(self, @override def map_logical_and(self, - expr: p.LogicalAnd, *args: P.args, **kwargs: P.kwargs + expr: p.LogicalAnd, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: children = [self.rec(child, *args, **kwargs) for child in expr.children] if all(child is orig_child @@ -1042,7 +1041,7 @@ def map_logical_and(self, @override def map_comparison(self, - expr: p.Comparison, *args: P.args, **kwargs: P.kwargs + expr: p.Comparison, /, *args: P.args, **kwargs: P.kwargs ) -> Expression: left = self.rec(expr.left, *args, **kwargs) right = self.rec(expr.right, *args, **kwargs) @@ -1053,7 +1052,7 @@ def map_comparison(self, @override def map_list(self, - expr: list[Expression], *args: P.args, **kwargs: P.kwargs + expr: list[Expression], /, *args: P.args, **kwargs: P.kwargs ) -> Expression: # True fact: lists aren't expressions @@ -1061,7 +1060,7 @@ def map_list(self, @override def map_tuple(self, - expr: tuple[Expression, ...], *args: P.args, **kwargs: P.kwargs + expr: tuple[Expression, ...], /, *args: P.args, **kwargs: P.kwargs ) -> Expression: children = [self.rec(child, *args, **kwargs) for child in expr] if all(child is orig_child @@ -1072,7 +1071,7 @@ def map_tuple(self, @override def map_numpy_array(self, - expr: NDArray[np.generic], *args: P.args, **kwargs: P.kwargs + expr: NDArray[np.generic], /, *args: P.args, **kwargs: P.kwargs ) -> Expression: import numpy @@ -1084,7 +1083,7 @@ def map_numpy_array(self, @override def map_multivector(self, - expr: MultiVector[ArithmeticExpression], + expr: MultiVector[ArithmeticExpression], /, *args: P.args, **kwargs: P.kwargs ) -> Expression: # True fact: MultiVectors aren't expressions @@ -1092,7 +1091,7 @@ def map_multivector(self, self.rec(ch, *args, **kwargs))) def map_common_subexpression(self, - expr: p.CommonSubexpression, + expr: p.CommonSubexpression, /, *args: P.args, **kwargs: P.kwargs) -> Expression: result = self.rec(expr.child, *args, **kwargs) if result is expr.child: @@ -1106,7 +1105,7 @@ def map_common_subexpression(self, @override def map_substitution(self, - expr: p.Substitution, + expr: p.Substitution, /, *args: P.args, **kwargs: P.kwargs) -> Expression: child = self.rec(expr.child, *args, **kwargs) values = tuple([self.rec(v, *args, **kwargs) for v in expr.values]) @@ -1118,7 +1117,7 @@ def map_substitution(self, @override def map_derivative(self, - expr: p.Derivative, + expr: p.Derivative, /, *args: P.args, **kwargs: P.kwargs) -> Expression: child = self.rec(expr.child, *args, **kwargs) if child is expr.child: @@ -1128,7 +1127,7 @@ def map_derivative(self, @override def map_slice(self, - expr: p.Slice, + expr: p.Slice, /, *args: P.args, **kwargs: P.kwargs) -> Expression: children: p.SliceChildrenT = cast("p.SliceChildrenT", tuple([ None if child is None else self.rec(child, *args, **kwargs) @@ -1141,7 +1140,7 @@ def map_slice(self, return type(expr)(children) @override - def map_if(self, expr: p.If, *args: P.args, **kwargs: P.kwargs) -> Expression: + def map_if(self, expr: p.If, /, *args: P.args, **kwargs: P.kwargs) -> Expression: condition = self.rec(expr.condition, *args, **kwargs) then = self.rec(expr.then, *args, **kwargs) else_ = self.rec(expr.else_, *args, **kwargs) @@ -1154,7 +1153,7 @@ def map_if(self, expr: p.If, *args: P.args, **kwargs: P.kwargs) -> Expression: @override def map_min(self, - expr: p.Min, *args: P.args, **kwargs: P.kwargs) -> Expression: + expr: p.Min, /, *args: P.args, **kwargs: P.kwargs) -> Expression: children = tuple([ self.rec(child, *args, **kwargs) for child in expr.children ]) @@ -1166,7 +1165,7 @@ def map_min(self, @override def map_max(self, - expr: p.Max, *args: P.args, **kwargs: P.kwargs) -> Expression: + expr: p.Max, /, *args: P.args, **kwargs: P.kwargs) -> Expression: children = tuple([ self.rec(child, *args, **kwargs) for child in expr.children ]) @@ -1178,7 +1177,7 @@ def map_max(self, @override def map_nan(self, - expr: p.NaN, *args: P.args, **kwargs: P.kwargs) -> Expression: + expr: p.NaN, /, *args: P.args, **kwargs: P.kwargs) -> Expression: # Leaf node -- don't recurse return expr @@ -1197,58 +1196,55 @@ class WalkMapper(Mapper[None, P]): visited subexpression. ``map_...`` methods are required to call :meth:`visit` *before* - descending to visit their children. - - .. method:: visit(expr, *args, **kwargs) - - Returns *False* if no children of this node should be examined. + descending to visit their children and :meth:`post_visit` *after*. - .. method:: post_visit(expr, *args, **kwargs) - - Is called after a node's children are visited. + .. automethod:: visit + .. automethod:: post_visit """ @override - def map_constant(self, expr: object, *args: P.args, **kwargs: P.kwargs) -> None: + def map_constant(self, expr: object, /, *args: P.args, **kwargs: P.kwargs) -> None: self.visit(expr, *args, **kwargs) self.post_visit(expr, *args, **kwargs) @override - def map_variable(self, expr: p.Variable, *args: P.args, **kwargs: P.kwargs) -> None: + def map_variable(self, expr: p.Variable, /, + *args: P.args, **kwargs: P.kwargs) -> None: self.visit(expr, *args, **kwargs) self.post_visit(expr, *args, **kwargs) @override - def map_wildcard(self, expr: p.Wildcard, *args: P.args, **kwargs: P.kwargs) -> None: + def map_wildcard(self, expr: p.Wildcard, /, + *args: P.args, **kwargs: P.kwargs) -> None: self.visit(expr, *args, **kwargs) self.post_visit(expr, *args, **kwargs) @override def map_dot_wildcard(self, - expr: p.DotWildcard, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.DotWildcard, /, *args: P.args, **kwargs: P.kwargs) -> None: self.visit(expr, *args, **kwargs) self.post_visit(expr, *args, **kwargs) @override def map_star_wildcard(self, - expr: p.StarWildcard, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.StarWildcard, /, *args: P.args, **kwargs: P.kwargs) -> None: self.visit(expr, *args, **kwargs) self.post_visit(expr, *args, **kwargs) @override def map_function_symbol(self, - expr: p.FunctionSymbol, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.FunctionSymbol, /, *args: P.args, **kwargs: P.kwargs) -> None: self.visit(expr, *args, **kwargs) self.post_visit(expr, *args, **kwargs) @override def map_nan(self, - expr: p.NaN, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.NaN, /, *args: P.args, **kwargs: P.kwargs) -> None: self.visit(expr, *args, **kwargs) self.post_visit(expr, *args, **kwargs) @override - def map_call(self, expr: p.Call, *args: P.args, **kwargs: P.kwargs) -> None: + def map_call(self, expr: p.Call, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1260,7 +1256,7 @@ def map_call(self, expr: p.Call, *args: P.args, **kwargs: P.kwargs) -> None: @override def map_call_with_kwargs(self, - expr: p.CallWithKwargs, + expr: p.CallWithKwargs, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1276,7 +1272,7 @@ def map_call_with_kwargs(self, @override def map_subscript(self, - expr: p.Subscript, + expr: p.Subscript, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1288,7 +1284,7 @@ def map_subscript(self, @override def map_lookup(self, - expr: p.Lookup, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.Lookup, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1297,7 +1293,7 @@ def map_lookup(self, self.post_visit(expr, *args, **kwargs) @override - def map_sum(self, expr: p.Sum, *args: P.args, **kwargs: P.kwargs) -> None: + def map_sum(self, expr: p.Sum, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1307,7 +1303,8 @@ def map_sum(self, expr: p.Sum, *args: P.args, **kwargs: P.kwargs) -> None: self.post_visit(expr, *args, **kwargs) @override - def map_product(self, expr: p.Product, *args: P.args, **kwargs: P.kwargs) -> None: + def map_product(self, expr: p.Product, /, + *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1317,7 +1314,8 @@ def map_product(self, expr: p.Product, *args: P.args, **kwargs: P.kwargs) -> Non self.post_visit(expr, *args, **kwargs) @override - def map_quotient(self, expr: p.Quotient, *args: P.args, **kwargs: P.kwargs) -> None: + def map_quotient(self, expr: p.Quotient, /, + *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1328,7 +1326,7 @@ def map_quotient(self, expr: p.Quotient, *args: P.args, **kwargs: P.kwargs) -> N @override def map_floor_div(self, - expr: p.FloorDiv, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.FloorDiv, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1339,7 +1337,7 @@ def map_floor_div(self, @override def map_remainder(self, - expr: p.Remainder, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.Remainder, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1349,7 +1347,7 @@ def map_remainder(self, self.post_visit(expr, *args, **kwargs) @override - def map_power(self, expr: p.Power, *args: P.args, **kwargs: P.kwargs) -> None: + def map_power(self, expr: p.Power, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1360,7 +1358,7 @@ def map_power(self, expr: p.Power, *args: P.args, **kwargs: P.kwargs) -> None: @override def map_tuple(self, - expr: tuple[Expression, ...], *args: P.args, **kwargs: P.kwargs + expr: tuple[Expression, ...], /, *args: P.args, **kwargs: P.kwargs ) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1372,7 +1370,7 @@ def map_tuple(self, @override def map_numpy_array(self, - expr: NDArray[np.generic], *args: P.args, **kwargs: P.kwargs) -> None: + expr: NDArray[np.generic], /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1383,7 +1381,7 @@ def map_numpy_array(self, @override def map_multivector(self, - expr: MultiVector[ArithmeticExpression], + expr: MultiVector[ArithmeticExpression], /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1394,7 +1392,7 @@ def map_multivector(self, self.post_visit(expr, *args, **kwargs) def map_common_subexpression(self, - expr: p.CommonSubexpression, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.CommonSubexpression, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1404,7 +1402,7 @@ def map_common_subexpression(self, @override def map_left_shift(self, - expr: p.LeftShift, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.LeftShift, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1415,7 +1413,7 @@ def map_left_shift(self, @override def map_right_shift(self, - expr: p.RightShift, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.RightShift, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1426,7 +1424,7 @@ def map_right_shift(self, @override def map_bitwise_not(self, - expr: p.BitwiseNot, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.BitwiseNot, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1436,7 +1434,7 @@ def map_bitwise_not(self, @override def map_bitwise_or(self, - expr: p.BitwiseOr, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.BitwiseOr, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1447,7 +1445,7 @@ def map_bitwise_or(self, @override def map_bitwise_xor(self, - expr: p.BitwiseXor, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.BitwiseXor, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1458,7 +1456,7 @@ def map_bitwise_xor(self, @override def map_bitwise_and(self, - expr: p.BitwiseAnd, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.BitwiseAnd, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1468,7 +1466,8 @@ def map_bitwise_and(self, self.post_visit(expr, *args, **kwargs) @override - def map_comparison(self, expr, *args: P.args, **kwargs: P.kwargs) -> None: + def map_comparison(self, expr: p.Comparison, /, + *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1479,7 +1478,7 @@ def map_comparison(self, expr, *args: P.args, **kwargs: P.kwargs) -> None: @override def map_logical_not(self, - expr: p.LogicalNot, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.LogicalNot, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1489,7 +1488,7 @@ def map_logical_not(self, @override def map_logical_or(self, - expr: p.LogicalOr, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.LogicalOr, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1500,7 +1499,7 @@ def map_logical_or(self, @override def map_logical_and(self, - expr: p.LogicalAnd, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.LogicalAnd, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1510,7 +1509,7 @@ def map_logical_and(self, self.post_visit(expr, *args, **kwargs) @override - def map_if(self, expr, *args: P.args, **kwargs: P.kwargs) -> None: + def map_if(self, expr: p.If, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1522,7 +1521,7 @@ def map_if(self, expr, *args: P.args, **kwargs: P.kwargs) -> None: @override def map_min(self, - expr: p.Min, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.Min, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1533,7 +1532,7 @@ def map_min(self, @override def map_max(self, - expr: p.Max, *args: P.args, **kwargs: P.kwargs) -> None: + expr: p.Max, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1543,7 +1542,8 @@ def map_max(self, self.post_visit(expr, *args, **kwargs) @override - def map_substitution(self, expr, *args: P.args, **kwargs: P.kwargs) -> None: + def map_substitution(self, expr: p.Substitution, /, + *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1554,7 +1554,8 @@ def map_substitution(self, expr, *args: P.args, **kwargs: P.kwargs) -> None: self.post_visit(expr, *args, **kwargs) @override - def map_derivative(self, expr, *args: P.args, **kwargs: P.kwargs) -> None: + def map_derivative(self, expr: p.Derivative, /, + *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1563,7 +1564,7 @@ def map_derivative(self, expr, *args: P.args, **kwargs: P.kwargs) -> None: self.post_visit(expr, *args, **kwargs) @override - def map_slice(self, expr, *args: P.args, **kwargs: P.kwargs) -> None: + def map_slice(self, expr: p.Slice, /, *args: P.args, **kwargs: P.kwargs) -> None: if not self.visit(expr, *args, **kwargs): return @@ -1576,11 +1577,12 @@ def map_slice(self, expr, *args: P.args, **kwargs: P.kwargs) -> None: self.post_visit(expr, *args, **kwargs) - def visit(self, expr: object, *args: P.args, **kwargs: P.kwargs) -> bool: + def visit(self, expr: object, /, *args: P.args, **kwargs: P.kwargs) -> bool: + """Returns *False* if no children of this node should be examined.""" return True - def post_visit(self, expr: object, *args: P.args, **kwargs: P.kwargs) -> None: - pass + def post_visit(self, expr: object, /, *args: P.args, **kwargs: P.kwargs) -> None: + """Is called after a node's children are visited.""" class CachedWalkMapper(CachedMapper[None, P], WalkMapper[P]): @@ -1593,12 +1595,14 @@ class CachedWalkMapper(CachedMapper[None, P], WalkMapper[P]): # FIXME: Is it worth typing this? class CallbackMapper(Mapper[ResultT, P]): - def __init__(self, function, fallback_mapper): + def __init__(self, function, fallback_mapper) -> None: self.function = function self.fallback_mapper = fallback_mapper fallback_mapper.rec = self.rec - def map_constant(self, expr, *args, **kwargs): + @override + def map_constant(self, expr: object, /, + *args: P.args, **kwargs: P.kwargs) -> ResultT: return self.function(expr, self, *args, **kwargs) map_variable = map_constant @@ -1661,7 +1665,7 @@ class CSECachingMapperMixin(ABC, Generic[ResultT, P]): ResultT] def map_common_subexpression(self, - expr: p.CommonSubexpression, + expr: p.CommonSubexpression, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: try: ccd = self._cse_cache_dict @@ -1679,7 +1683,7 @@ def map_common_subexpression(self, @abstractmethod def map_common_subexpression_uncached(self, - expr: p.CommonSubexpression, + expr: p.CommonSubexpression, /, *args: P.args, **kwargs: P.kwargs) -> ResultT: pass