undefined variables do not raise a type error
まだ誰も着手していません。
評価
調査の方向性
まず、報告された Python プログラムを Static Python の型チェッカーで実行し、名前解決に関する静的解析の経路を追跡します。現在、未定義の変数が通過していることを確認し、次にこの再現例のカバレッジを追加して、チェックによってコンパイル時に未定義の名前が報告されることを検証します。
索引モデルが issue の本文から書いたものです。
説明
What version of Static Python are you using?
6862bbd
2021-10-07
What program did you run?
def f() -> int:
return a_definitly_undefined_variable
What happened?
The program passes type checks.
What should have happened?
We expected a compile-time error complaining that a_definitly_undefined_variable is undefined. (This is what mypy does.)
- 主要言語
- Python
- スター
- 3.8k
- フォーク
- 139
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
このプロジェクトの開発コンテナを、あなたの GitHub アカウントでブラウザ上に起動します。
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートあり
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
facebookincubator/MetaPython のほかの issue
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
facebookincubator/MetaPython#147 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
facebookincubator/MetaPython#146 · コメント 2 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
facebookincubator/MetaPython#145 · コメント 4 件 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 30/100
facebookincubator/MetaPython#144 · コメント 1 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 20/100
facebookincubator/MetaPython#129 · コメント 2 件 ·
facebookincubator/MetaPython の issue をすべて見る
似ている issue
-
[BUG] Container scenario crashes without expected_recovery_time, kube DNS example uses retry_waitオープンneeds-triage
難易度 2/5 1〜3時間 初心者へのやさしさ 77/100
krkn-chaos/krkn#1627 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
NousResearch/hermes-agent#136483 ·
メンテナーはふだん 1 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
メンテナーはふだん 1 日以内に返信
-
[BUG] LazyStackedTensorDictStore zeroes the last byte of a new key set on the last element対応中かも @peterdsharpe が今日担当しました。 オープンbug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
pytorch/tensordict#2307 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信