fix: false positive name errors

Cargo.toml

@@ -22,9 +22,9 @@ edition = "2021"
 repository = "https://github.com/mtshiba/pylyzer"
 
 [workspace.dependencies]
-erg_common = { version = "0.6.41", features = ["py_compat", "els"] }
-erg_compiler = { version = "0.6.41", features = ["py_compat", "els"] }
-els = { version = "0.1.53", features = ["py_compat"] }
+erg_common = { version = "0.6.42-nightly.0", features = ["py_compat", "els"] }
+erg_compiler = { version = "0.6.42-nightly.0", features = ["py_compat", "els"] }
+els = { version = "0.1.54-nightly.0", features = ["py_compat"] }
 # rustpython-parser = { version = "0.3.0", features = ["all-nodes-with-ranges", "location"] }
 # rustpython-ast = { version = "0.3.0", features = ["all-nodes-with-ranges", "location"] }
 rustpython-parser = { git = "https://github.com/RustPython/Parser", version = "0.4.0", features = ["all-nodes-with-ranges", "location"] }

README.md

@@ -41,12 +41,6 @@ On average, pylyzer can inspect Python scripts more than __100 times faster__ th
 
 ![performance](https://raw.githubusercontent.com/mtshiba/pylyzer/main/images/performance.png)
 
-* Detailed analysis 🩺
-
-pylyzer can do more than the type checking. For example, it can detect out-of-bounds accesses to lists and accesses to nonexistent keys in dicts.
-
-![analysis](https://raw.githubusercontent.com/mtshiba/pylyzer/main/images/analysis.png)
-
 * Reports readability 📖
 
 While pytype/pyright's error reports are illegible, pylyzer shows where the error occurred and provides clear error messages.

src/handle_err.rs

@@ -12,6 +12,19 @@ pub(crate) fn filter_errors(ctx: &ModuleContext, errors: CompileErrors) -> Compi
         .collect()
 }
 
+fn handle_name_error(error: CompileError) -> Option<CompileError> {
+    if error.core.main_message.contains("is already declared")
+        || error
+            .core
+            .main_message
+            .contains("cannot be assigned more than once")
+    {
+        None
+    } else {
+        Some(error)
+    }
+}
+
 fn filter_error(_ctx: &ModuleContext, mut error: CompileError) -> Option<CompileError> {
     match error.core.kind {
         ErrorKind::FeatureError => {
@@ -39,7 +52,7 @@ fn filter_error(_ctx: &ModuleContext, mut error: CompileError) -> Option<Compile
                 Some(error)
             }
         }
-        // ErrorKind::AssignError => handle_assign_error(error),
+        ErrorKind::NameError | ErrorKind::AssignError => handle_name_error(error),
         _ => Some(error),
     }
 }

tests/list.py

@@ -1,10 +1,11 @@
 l = [1, 2, 3]
 _ = l[1:2]
-print(l[4])  # ERR
+print(l[2])
+print(l["a"]) # ERR
 
 # OK
 for i in range(3):
     print(l[i])
 # ERR
-for i in range(4):
+for i in "abcd":
     print(l[i])

tests/narrowing.py

@@ -7,3 +7,9 @@ def f(x: int | None):
     return None
 
 f(1)
+
+from typing import Optional
+
+x: Optional[int] = None
+if x is not None:
+    x += 1

tests/shadowing.py

@@ -12,3 +12,28 @@
 def f(x: int):
     i = 1 # OK
     return x + i
+
+if True:
+    pass
+elif True:
+    for i in []: pass
+    pass
+elif True:
+    for i in []: pass
+    pass
+
+if True:
+    pass
+elif True:
+    with open("") as x:
+        pass
+    pass
+elif True:
+    with open("") as x:
+        pass
+    pass
+
+if True:
+    left, right = 1, 2
+if True:
+    left, _ = 1, 2

tests/test.py

@@ -36,10 +36,6 @@ def f(d1, d2: dict[str, int]):
     _ = d2[1] # ERR
     dic = {"a": 1}
     _ = dic["b"] # ERR
-    arr = [1, 2, 3]
-    _ = arr[4] # ERR
-    for i in range(4):
-        print(arr[i]) # ERR
 
 i, j = 1, 2
 assert i == 1

tests/test.rs

@@ -55,7 +55,7 @@ pub fn expect(file_path: &'static str, warns: usize, errors: usize) -> Result<()
 
 #[test]
 fn exec_test() -> Result<(), String> {
-    expect("tests/test.py", 0, 13)
+    expect("tests/test.py", 0, 11)
 }
 
 #[test]