From 3566b6b8052352eb8eb8e0abba8bccd9e2c2053f Mon Sep 17 00:00:00 2001 From: freezestudio Date: Mon, 1 Apr 2019 09:12:45 +0800 Subject: [PATCH] Update internals.md The function is not written completely --- docs/internals.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/internals.md b/docs/internals.md index 7061a87ea..6aea2a5d3 100644 --- a/docs/internals.md +++ b/docs/internals.md @@ -34,7 +34,7 @@ Pyright attempts to infer the types of global (module-level) variables, class va Pyright supports type constraints (sometimes called “path constraints”) to track assumptions that apply within certain paths of code flow. For example, consider the following code: ```python -def (a: Optional[Union[str, List[str]]: +def (a: Optional[Union[str, List[str]]) -> None: if isinstance(a, str): log(a) elif a: