From a6362613a2547bb924c2bf218075f78564ce549d Mon Sep 17 00:00:00 2001 From: Matt Wala Date: Wed, 3 Jun 2020 23:27:38 -0500 Subject: [PATCH] Remove pytools type stub now that pytools has type annotation support --- pytato/stubs/pytools.pyi | 11 ----------- requirements.txt | 1 + 2 files changed, 1 insertion(+), 11 deletions(-) delete mode 100644 pytato/stubs/pytools.pyi diff --git a/pytato/stubs/pytools.pyi b/pytato/stubs/pytools.pyi deleted file mode 100644 index 2fe9afc..0000000 --- a/pytato/stubs/pytools.pyi +++ /dev/null @@ -1,11 +0,0 @@ -# FIXME: Should be in pytools -from typing import TypeVar, Iterable, Set, Optional - -T = TypeVar("T") - -def memoize_method(f: T) -> T: ... -def is_single_valued(it: Iterable[T]) -> bool: ... - -class UniqueNameGenerator: - def __init__(self, existing_names: Optional[Set[str]], forced_prefix: str=""): ... - def __call__(self, based_on: str = "") -> str: ... diff --git a/requirements.txt b/requirements.txt index 22617c7..8900766 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1 +1,2 @@ +git+https://github.com/inducer/pytools.git git+https://github.com/inducer/loopy.git -- GitLab