Crash while hashing a callable type
まだ誰も着手していません。
評価
調査の方向性
Start with the traceback locations in mypy/build.py, especially finish_passes and _patch_indirect_dependencies, then inspect the hash and is_type_obj implementations in mypy/types.py. Reproduce the crash if possible and determine how a callable type reaches hashing with a missing fallback. Done means the crash is prevented and the regression is covered by a test.
索引モデルが issue の本文から書いたものです。
説明
Some time ago there appeared a crash ending in:
...
File "[somewhere]/mypy/build.py", line 1954, in finish_passes
self.type_map())
File "[somewhere]/mypy/build.py", line 1964, in _patch_indirect_dependencies
types = set(type_map.values())
File "[somewhere]/mypy/types.py", line 938, in __hash__
return hash(tuple(self.items()))
File "[somewhere]/mypy/types.py", line 839, in __hash__
return hash((self.ret_type, self.is_type_obj(),
File "[somewhere]/mypy/types.py", line 723, in is_type_obj
return self.fallback.type.is_metaclass()
AttributeError: 'NoneType' object has no attribute 'type'
There is no repro yet. There however may be a point for a wider discussion: currently most types in mypy are hashable (they have both __hash__ and __eq__) while they are also mutable. Recently there was a discussion on Python-Dev list and some people said this is a bad pattern. I think this is OK in our case (we use hashes to cache is_subtype results).
- 主要言語
- Python
- スター
- 20.6k
- フォーク
- 3.3k
- 平均マージ
- 1日 18時間
- マージ済み PR（30日）
- 54
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
python/mypy のほかの issue
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
-
documentation
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
-
bug topic-configuration topic-error-reporting
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
似ている issue
-
link-check link-check:sphinx-theme
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
qgis/QGIS-Documentation#11275 ·
-
bug priority:normal ready-for-dev
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
OpenHands/extensions#626 · コメント 1 件 ·
-
難易度 1/5 1時間未満 初心者へのやさしさ 90/100
CSCfi/sd-search-api#39 ·
-
難易度 1/5 1時間未満 初心者へのやさしさ 90/100