Update xdsl to latest commit #322
math-fehrAnnotations
10 errors and 1 warning
|
build (3.10):
xdsl_smt/cli/cpp_translate.py#L16
Stub file not found for "z3" (reportMissingTypeStubs)
|
|
build (3.10):
xdsl_smt/cli/cpp_translate.py#L14
Type of "addDispatcher" is partially unknown
Type of "addDispatcher" is "(fout: Unknown) -> None" (reportUnknownVariableType)
|
|
build (3.10):
xdsl_smt/cli/cpp_translate.py#L14
Type of "addInductionOps" is partially unknown
Type of "addInductionOps" is "(fout: Unknown) -> None" (reportUnknownVariableType)
|
|
build (3.10):
xdsl_smt/cli/cpp_translate.py#L16
Wildcard import from a library not allowed (reportWildcardImportFromLibrary)
|
|
build (3.10):
xdsl_smt/cli/cpp_translate.py#L25
Type of parameter "ctx" is unknown (reportUnknownParameterType)
|
|
build (3.10):
xdsl_smt/cli/cpp_translate.py#L25
Type annotation is missing for parameter "ctx" (reportMissingParameterType)
|
|
build (3.10):
xdsl_smt/cli/cpp_translate.py#L31
Argument type is unknown
Argument corresponds to parameter "ctx" in function "__init__" (reportUnknownArgumentType)
|
|
build (3.10):
xdsl_smt/cli/cpp_translate.py#L31
Argument of type "str | None" cannot be assigned to parameter "name" of type "str" in function "__init__"
Type "str | None" cannot be assigned to type "str"
Type "None" cannot be assigned to type "str" (reportGeneralTypeIssues)
|
|
build (3.10):
xdsl_smt/cli/cpp_translate.py#L61
Argument of type "FuncOp" cannot be assigned to parameter "op" of type "ModuleOp" in function "apply"
"FuncOp" is incompatible with "ModuleOp" (reportGeneralTypeIssues)
|
|
build (3.10):
xdsl_smt/cli/cpp_translate.py#L10
Import "Call" is not accessed (reportUnusedImport)
|
|
build (3.10)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4, jakebailey/pyright-action@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|