From 724eb2c90fe0f520ab01e18ce5a9b22512de13aa Mon Sep 17 00:00:00 2001 From: Shunsuke Shibayama Date: Thu, 1 Jun 2023 21:16:54 +0900 Subject: [PATCH] Update README.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 056f8af..ada29dc 100644 --- a/README.md +++ b/README.md @@ -86,6 +86,8 @@ pylyzer converts Python ASTs to Erg ASTs and passes them to Erg's type checker. * pylyzer (= Erg's type system) has its own type declarations for the Python standard APIs. Typing of all APIs is not complete and may result in an error that such an API does not exist. +* Since pylyzer's type checking is conservative, you may encounter many (possibly false positive) errors. We are working on fixing this, but if you are concerned about editor errors, please turn off the diagnostics feature. + ## TODOs * [x] type checking