New semantic analyzer: better error messages for cyclic cross-module definitions

未关闭
#6,551 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 Issue。

评估

难度
4/5
预计耗时
3-5 天
新手友好度
42/100
Issue 类型
缺陷
描述清晰度
基本清楚
活跃度
停滞
技术栈
python
领域
compilers

调研方向

从 issue 中所示的 testNewAnalyzerCyclicDefinitionCrossModule 用例开始，将其预期诊断与新 analyzer 的行为进行比较。阅读 pull request 6527 中的后续上下文，并追踪跨模块循环属性的解析方式。当移除冗余诊断，同时测试仍覆盖有用的循环定义错误时，即表示完成。

由索引模型根据 Issue 内容生成。

描述

priority-1-normal semantic-analyzer topic-error-reporting topic-usability

This is a follow-up for https://github.com/python/mypy/pull/6527

The new analyzer gives to verbose (and a bit confusing) error in this case:

[case testNewAnalyzerCyclicDefinitionCrossModule]
import b
[file a.py]
import b
x = b.x  # E: Cannot determine type of 'x'
[file b.py]
import a
x = a.x  # E: Cannot resolve attribute "x", possible cyclic definition \
         # E: Module has no attribute "x"

We can probably skip the second part by injecting a dummy Var with Any type in the a module namespace.

主要语言
Python
星标
20.6k
派生
3.3k
平均合并
1 天 18 小时
30 天内合并 PR
54

贡献指南

打开贡献指南

从这里开始

  1. 先读完整个 Issue，再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库，在一个分支上完成修改。
  4. 提交 Pull Request，并在描述里引用这个 Issue 编号。

python/mypy 的其他 Issue

查看 python/mypy 的全部 Issue

相似的 Issue

更多 Python Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。