fix return type of linecache.getlines (#1877)

Randomly noticed this looking at the stub. Here is the code: https://github.com/python/cpython/blob/3.7/Lib/linecache.py#L37.
This commit is contained in:
Jelle Zijlstra
2018-02-13 16:19:44 -08:00
committed by Guido van Rossum
parent afc84c119c
commit fe4bea39a2

View File

@@ -5,7 +5,7 @@ _ModuleGlobals = Dict[str, Any]
def getline(filename: Text, lineno: int, module_globals: Optional[_ModuleGlobals] = ...) -> str: ...
def clearcache() -> None: ...
def getlines(filename: Text, module_globals: Optional[_ModuleGlobals] = ...) -> None: ...
def getlines(filename: Text, module_globals: Optional[_ModuleGlobals] = ...) -> List[str]: ...
def checkcache(filename: Optional[Text] = ...) -> None: ...
def updatecache(filename: Text, module_globals: Optional[_ModuleGlobals] = ...) -> List[str]: ...
if sys.version_info >= (3, 5):