paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-02 04:53:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

log-search: Fix re.Match type annotations.

Browse Source 
Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2022-07-05 12:07:35 -07:00
committed by Anders Kaseorg
parent 7c992422f0
commit d104407531
1 changed files with 4 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
scripts/log-search
View File

@@ -8,7 +8,7 @@ import re
import signal
import sys
from enum import Enum, auto
from typing import List, Set, TextIO, Tuple
from typing import List, Match, Set, TextIO, Tuple
ZULIP_PATH = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
sys.path.append(ZULIP_PATH)
@@ -168,9 +168,7 @@ class FilterType(Enum):
class FilterFunc(Protocol):
def __call__(
self, m: re.Match, t: str = ... # type: ignore[type-arg] # Requires Python 3.9
) -> bool:
def __call__(self, m: Match[str], t: str = ...) -> bool:
...
@@ -311,7 +309,7 @@ def parse_filters(
def passes_filters(
string_filters: List[FilterFunc],
match: re.Match, # type: ignore[type-arg] # Requires Python 3.9
match: Match[str],
args: argparse.Namespace,
) -> bool:
if not all(f(match) for f in string_filters):
@@ -342,7 +340,7 @@ def passes_filters(
def print_line(
match: re.Match, # type: ignore[type-arg] # Requires Python 3.9
match: Match[str],
args: argparse.Namespace,
filter_types: Set[FilterType],
) -> None: