Zengtudor/pybind11
1
0
Fork 0
mirror of https://github.com/pybind/pybind11.git synced 2025-02-16 21:57:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add/update type: ignore for new mypy version.

Browse Source
This commit is contained in:
Ralf W. Grosse-Kunstleve 2022-04-12 16:13:14 -07:00
parent 32a4128586
commit 8532780526
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
ubench/holder_comparison.py
View File

@ -5,7 +5,7 @@ import sys
import time import time
from typing import Any, Callable, Dict, List from typing import Any, Callable, Dict, List
import pybind11_ubench_holder_comparison as m # type: ignore import pybind11_ubench_holder_comparison as m # type: ignore[import]
number_bucket_pc = None number_bucket_pc = None
@ -89,8 +89,8 @@ def run(args: List[str]) -> None:
continue continue
if selected_holder_type != "all" and nb_label != selected_holder_type: if selected_holder_type != "all" and nb_label != selected_holder_type:
continue continue
nb1 = nb_type(data_size) # type: ignore nb1 = nb_type(data_size) # type: ignore[misc]
nb2 = nb_type(data_size) # type: ignore nb2 = nb_type(data_size) # type: ignore[misc]
def many_sum(call_repetitions: int) -> float: def many_sum(call_repetitions: int) -> float:
assert int(round(nb1.sum())) == data_size assert int(round(nb1.sum())) == data_size
@ -117,7 +117,7 @@ def run(args: List[str]) -> None:
pflush(" Sum Add ratS ratA") pflush(" Sum Add ratS ratA")
row_0 = row row_0 = row
else: else:
for curr, prev in zip(row, row_0): for curr, prev in zip(row, row_0): # type: ignore[unreachable]
if prev: if prev:
rat = curr / prev rat = curr / prev
else: else:

4
ubench/holder_comparison_extract_sheet_data.py
View File

@ -19,12 +19,12 @@ def run(args: List[str]) -> None:
def show() -> Optional[List[str]]: def show() -> Optional[List[str]]:
if header_row: if header_row:
if header is None: if header is None: # type: ignore[unreachable]
print(",".join(header_row)) print(",".join(header_row))
else: else:
assert header == header_row assert header == header_row
if data_row is not None: if data_row is not None:
print(",".join(data_row)) print(",".join(data_row)) # type: ignore[unreachable]
data_row_buffer.append(data_row) data_row_buffer.append(data_row)
return header_row return header_row