Pattern matching between identical let-bindings produce no shadowing errors
まだ誰も着手していません。
評価
調査の方向性
Start by reproducing the example with PureScript 0.15.14 and trace the compiler's shadowing diagnostics for let-bindings, especially when an underscore pattern appears between identical declarations. Done means the example reports a shadowing warning or error without breaking valid pattern bindings.
索引モデルが issue の本文から書いたものです。
説明
Description
Patterns between variable declarations in let-bindings seem to confuse the compiler's ability to detecting shadowing
To Reproduce
module A (a) where
a :: Int
a =
let
b = 1
_ = 1
b = 1
in
b
As long as a pattern match is between two identical declarations it doesn't complain
Expected behavior
A shadowing warning/error
PureScript version
0.15.14
- 主要言語
- Haskell
- スター
- 8.9k
- フォーク
- 575
- PR マージ指標
- 30日以内にマージされた PR はありません
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
purescript/purescript のほかの issue
-
type: bug
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
purescript/purescript#4595 · コメント 2 件 ·
-
type: bug
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
purescript/purescript#4590 · コメント 3 件 ·
-
type: bug
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
purescript/purescript#4589 · コメント 3 件 ·
-
type: bug
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
purescript/purescript#4588 · コメント 5 件 ·
-
type: enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
purescript/purescript#4587 · コメント 1 件 · リアクション 2 件 ·
purescript/purescript の issue をすべて見る
似ている issue
-
time-manager-0.4.0 オープンfailure: bounds
難易度 1/5 1時間未満 初心者へのやさしさ 72/100
commercialhaskell/stackage#8122 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
simplex-chat/simplex-chat#7547 ·
-
chore
難易度 1/5 1時間未満 初心者へのやさしさ 90/100
alunduil/alunduil-chezmoi#775 ·
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
objectionary/phino#1350 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100