From 95db169642d70402f7e3b48f15226bcfd88b6024 Mon Sep 17 00:00:00 2001 From: Shunsuke Shibayama Date: Fri, 7 Apr 2023 11:48:10 +0900 Subject: [PATCH] Update README.md --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 005dad2..9326f32 100644 --- a/README.md +++ b/README.md @@ -22,7 +22,7 @@ cargo install pylyzer pip install pylyzer ``` -If installed this way, you also need to [install Erg](https://github.com/mtshiba/ergup). +__If installed this way, you also need to [install Erg](https://github.com/mtshiba/ergup).__ ```bash curl -L https://github.com/mtshiba/ergup/raw/main/ergup.py | python3 @@ -99,7 +99,8 @@ pylyzer converts Python ASTs to Erg ASTs and passes them to Erg's type checker. * [ ] others * [ ] type variable (`TypeVar`, `Generic`) * [ ] type assertion (`typing.cast`) -* [ ] type guard (`TypeGuard`, `is`, `isinstance`, `issubclass`) +* [x] type narrowing (`is`, `isinstance`) +* [ ] type guard (`TypeGuard`) ---