diff --git a/pytato/stubs/pytools.pyi b/pytato/stubs/pytools.pyi deleted file mode 100644 index 2fe9afc4da9c6a2560b4c8c2758cdf98ffc6748f..0000000000000000000000000000000000000000 --- 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 22617c7cad00812871d27675ccf9fbf0e92e3afc..89007665330e9389aeb9c683b778215e3135b1b2 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1 +1,2 @@ +git+https://github.com/inducer/pytools.git git+https://github.com/inducer/loopy.git