Make check_irdl_subset a separate file #52
Annotations
10 errors and 5 warnings
|
Pyright:
build/lib/xdsl_pdl/analysis/check_subset_to_z3.py#L9
Import "z3" could not be resolved (reportMissingImports)
|
|
Pyright:
build/lib/xdsl_pdl/analysis/pdl_analysis.py#L447
Cannot access member "op" for type "Operand"
Member "op" is unknown (reportGeneralTypeIssues)
|
|
Pyright:
build/lib/xdsl_pdl/analysis/pdl_analysis.py#L381
Argument of type "Operation" cannot be assigned to parameter "op" of type "OperationOp" in function "get_analysis"
"Operation" is incompatible with "OperationOp" (reportGeneralTypeIssues)
|
|
Pyright:
build/lib/xdsl_pdl/analysis/pdl_analysis.py#L389
"pdl_op" is not a known member of "None" (reportOptionalMemberAccess)
|
|
Pyright:
build/lib/xdsl_pdl/analysis/pdl_analysis.py#L403
Cannot access member "type_values" for type "Operation"
Member "type_values" is unknown (reportGeneralTypeIssues)
|
|
Pyright:
build/lib/xdsl_pdl/analysis/pdl_analysis.py#L404
Cannot access member "type_values" for type "Operation"
Member "type_values" is unknown (reportGeneralTypeIssues)
|
|
Pyright:
build/lib/xdsl_pdl/analysis/pdl_analysis.py#L404
Cannot access member "type_values" for type "Block"
Member "type_values" is unknown (reportGeneralTypeIssues)
|
|
Pyright:
build/lib/xdsl_pdl/analysis/pdl_analysis.py#L432
Argument of type "Operation" cannot be assigned to parameter "op" of type "OperationOp" in function "get_analysis"
"Operation" is incompatible with "OperationOp" (reportGeneralTypeIssues)
|
|
Pyright:
build/lib/xdsl_pdl/analysis/pdl_analysis.py#L441
Cannot access member "type_values" for type "Operation"
Member "type_values" is unknown (reportGeneralTypeIssues)
|
|
Pyright:
build/lib/xdsl_pdl/interpreters/pdl_analysis_interpreter.py#L7
"Result" is unknown import symbol (reportGeneralTypeIssues)
|
|
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/.
|
|
Pyright:
build/lib/xdsl_pdl/interpreters/pdl_analysis_interpreter.py#L7
Import "pluggy" could not be resolved from source (reportMissingModuleSource)
|
|
Pyright:
build/lib/xdsl_pdl/tools/generate_table.py#L9
Import "tabulate" could not be resolved from source (reportMissingModuleSource)
|
|
Pyright:
xdsl_pdl/interpreters/pdl_analysis_interpreter.py#L7
Import "pluggy" could not be resolved from source (reportMissingModuleSource)
|
|
Pyright:
xdsl_pdl/tools/generate_table.py#L9
Import "tabulate" could not be resolved from source (reportMissingModuleSource)
|
Loading