From 52da2a176bbddcfcdf36661288b027b3cfbb5769 Mon Sep 17 00:00:00 2001 From: Semyon Proshev Date: Mon, 13 Mar 2017 20:12:46 +0400 Subject: [PATCH] Fix datetime stubs (#992) --- stdlib/2/datetime.pyi | 15 ++++++--------- stdlib/3/datetime.pyi | 2 +- 2 files changed, 7 insertions(+), 10 deletions(-) diff --git a/stdlib/2/datetime.pyi b/stdlib/2/datetime.pyi index 6174b9a47..f2d45d97e 100644 --- a/stdlib/2/datetime.pyi +++ b/stdlib/2/datetime.pyi @@ -21,7 +21,7 @@ class date(object): max = ... # type: date resolution = ... # type: timedelta - def __init__(self, year: int, month: int = ..., day: int = ...) -> None: ... + def __init__(self, year: int, month: int, day: int) -> None: ... @classmethod def fromtimestamp(cls, t: float) -> date: ... @@ -125,11 +125,9 @@ class timedelta(SupportsAbs[timedelta]): @overload def __floordiv__(self, other: int) -> timedelta: ... @overload - def __truediv__(self, other: timedelta) -> float: ... + def __div__(self, other: timedelta) -> float: ... @overload - def __truediv__(self, other: float) -> timedelta: ... - def __mod__(self, other: timedelta) -> timedelta: ... - def __divmod__(self, other: timedelta) -> Tuple[int, timedelta]: ... + def __div__(self, other: float) -> timedelta: ... def __le__(self, other: timedelta) -> bool: ... def __lt__(self, other: timedelta) -> bool: ... def __ge__(self, other: timedelta) -> bool: ... @@ -142,7 +140,7 @@ class datetime(object): max = ... # type: datetime resolution = ... # type: timedelta - def __init__(self, year: int, month: int = ..., day: int = ..., hour: int = ..., + def __init__(self, year: int, month: int, day: int, hour: int = ..., minute: int = ..., second: int = ..., microseconds: int = ..., tzinfo: tzinfo = ...) -> None: ... @@ -161,7 +159,7 @@ class datetime(object): @property def microsecond(self) -> int: ... @property - def tzinfo(self) -> _tzinfo: ... + def tzinfo(self) -> Optional[_tzinfo]: ... @classmethod def fromtimestamp(cls, t: float, tz: _tzinfo = ...) -> datetime: ... @@ -181,7 +179,6 @@ class datetime(object): def __format__(self, fmt: str) -> str: ... def toordinal(self) -> int: ... def timetuple(self) -> struct_time: ... - def timestamp(self) -> float: ... def utctimetuple(self) -> struct_time: ... def date(self) -> _date: ... def time(self) -> _time: ... @@ -189,7 +186,7 @@ class datetime(object): def replace(self, year: int = ..., month: int = ..., day: int = ..., hour: int = ..., minute: int = ..., second: int = ..., microsecond: int = ..., tzinfo: Union[_tzinfo, bool] = ...) -> datetime: ... - def astimezone(self, tz: _tzinfo = ...) -> datetime: ... + def astimezone(self, tz: _tzinfo) -> datetime: ... def ctime(self) -> str: ... def isoformat(self, sep: str = ...) -> str: ... @classmethod diff --git a/stdlib/3/datetime.pyi b/stdlib/3/datetime.pyi index 7925226f4..a894ab859 100644 --- a/stdlib/3/datetime.pyi +++ b/stdlib/3/datetime.pyi @@ -31,7 +31,7 @@ class date: max = ... # type: date resolution = ... # type: timedelta - def __init__(self, year: int, month: int = ..., day: int = ...) -> None: ... + def __init__(self, year: int, month: int, day: int) -> None: ... @classmethod def fromtimestamp(cls, t: float) -> date: ...