nonsensical TypeError from "-X jit -m compile --static"
まだ誰も着手していません。
評価
調査の方向性
cinder_typed_prim_bug.py から始め、-X jit -m compiler --static を付けた Docker コマンドで失敗を再現してください。static.double プリミティブを使用する呼び出しについて、compiler/main.py からコンパイラの経路を追跡し、動作するコマンドの場合と比較してください。例が正常に実行され、TypeError なしで期待される結果を出力すれば完了です。
索引モデルが issue の本文から書いたものです。
説明
good (no options):
$ docker run -v $PWD:/vol -it --rm ghcr.io/facebookincubator/cinder-runtime:cinder-3.8 vol/cinder_typed_prim_bug.py
done 0.57
bad (-X jit -m compile --static):
$ docker run -v $PWD:/vol -it --rm ghcr.io/facebookincubator/cinder-runtime:cinder-3.8 -X jit -m compiler --static vol/cinder_typed_prim_bug.py
Traceback (most recent call last):
File "/cinder/lib/python3.8/runpy.py", line 194, in _run_module_as_main
return _run_code(code, main_globals, None,
File "/cinder/lib/python3.8/runpy.py", line 87, in _run_code
exec(code, run_globals)
File "/cinder/lib/python3.8/compiler/__main__.py", line 122, in <module>
exec(codeobj, d, d)
File "vol/cinder_typed_prim_bug.py", line 15, in __main__
main()
File "vol/cinder_typed_prim_bug.py", line 10, in main
c += foo(.4, .97)
TypeError: unsupported operand type(s) for +=: 'float' and 'function'
The compiler is acting as if the written code were c += foo rather than c += foo(.4, .97).
The problem goes away by removing -X jit, --static, or use of the double primitives.
cinder_typed_prim_bug.py
from __static__ import double
def foo(a: double, b: double) -> double:
return b - a
def main():
c = 0.
c += foo(.4, .97)
print('done', c)
if __name__ == '__main__':
main()
seen in cinder-3.8.6c2de94
- 主要言語
- 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
-
needs triage
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 2 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
openvinotoolkit/openvino_notebooks#3665 ·
メンテナーはふだん 1 日以内に返信
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 86/100
メンテナーはふだん 1 日以内に返信
-
docs
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
メンテナーはふだん 1 日以内に返信
-
benchmark-gap
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信