Different type IDs can point at the same type
まだ誰も着手していません。
評価
調査の方向性
まず、typecheck_match() と issue で参照されている型作成の経路を追跡します。2 つの oneof の例を再現し、その後、マッチングが基になる型を比較しているのか、ID を再利用しているのかを判断します。完了条件は、同一の型で型の不一致が発生しなくなることです。
索引モデルが issue の本文から書いたものです。
説明
As pointed out in https://github.com/nushell/new-nu-parser/pull/50, typecheck_match() looks only at type IDs without actually checking the underlying type. This means that two identical types, such as:
let x: oneof<list<int>, list<string>> = []
let y: oneof<list<int>, list<string>> = []
would have different IDs and result in type mismatch.
Two possible solutions:
- Change
typecheck_match()to actually check the types properly - When creating a type, first check whether it's been created already and reuse its ID if so. This would ensure that different type IDs would point at different types.
- 主要言語
- Rust
- スター
- 36
- フォーク
- 11
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
nushell/new-nu-parser のほかの issue
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
nushell/new-nu-parser#64 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
nushell/new-nu-parser#60 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 42/100
nushell/new-nu-parser#59 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
nushell/new-nu-parser#47 · コメント 3 件 ·
-
bug performance upstream
難易度 3/5 1〜2日 初心者へのやさしさ 42/100
nushell/new-nu-parser#42 · リアクション 1 件 ·
nushell/new-nu-parser の issue をすべて見る
似ている issue
-
難易度 1/5 1時間未満 初心者へのやさしさ 70/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
limitlessprojects/Go-Hybrid#3342 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
librespeed/speedtest-rust#52 · コメント 1 件 ·
-
enhancement needs-triage
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
bherbruck/solvecraft#11246 · コメント 1 件 · リアクション 1 件 ·
-
example
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
rust-lang-nursery/rust-cookbook#954 ·
メンテナーはふだん 1 日以内に返信