括弧を含む式のプロパティアクセスの挙動がおかしい

[arakur]

以下のように連続するプロパティアクセスの途中の部分を括弧で囲った場合，括弧内のプロパティアクセスがすべて無視されてしまうようです：

コード

let foo = {
    bar: {
        baz: {
            qux: "well done"
        }
    }
    qux: "wtf"
}
<: foo.bar.baz.qux
<: (foo.bar.baz).qux

想定される出力

"well done"
"well done"

出力

"well done"
"wtf"

パーサ出力

[
  {
    "type": "def",
    /* 略 */
  },
  {
    "type": "call",
    "target": {
      /* 略 */
    },
    "args": [
      {
        "type": "prop",
        "target": {
          "type": "prop",
          "target": {
            "type": "prop",
            "target": {
              "type": "identifier",
              "name": "foo",
              "loc": {
                "start": 103,
                "end": 105
              }
            },
            "name": "bar",
            "loc": {
              "start": 106,
              "end": 109
            }
          },
          "name": "baz",
          "loc": {
            "start": 110,
            "end": 113
          }
        },
        "name": "qux",
        "loc": {
        "loc": {
          "start": 114,
          "end": 117
        }
      }
    ],
    "loc": {
      "start": 100,
      "end": 117
    }
  },
  {
    "type": "call",
    "target": {
      /* 略 */
    },
    "args": [
      {
        "type": "prop",
        "target": {
          "type": "identifier",
          "name": "foo",
          "loc": {
            "start": 123,
            "end": 125
          }
        },
        "name": "qux",
        "loc": {
          "start": 135,
          "end": 138
        }
      }
    ],
    "loc": {
      "start": 119,
      "end": 138
    }
  }
]

[arakur]

インデクスアクセスも同様に括弧で囲むと無視されるようです．

let foo = [{bar: "well done"}]
<: (foo[0]).bar

// ...
"args": [
      {
        "type": "prop",
        "target": {
          "type": "identifier",
          "name": "foo",
          "loc": {
            "start": 35,
            "end": 37
          }
        },
        "name": "bar",
        "loc": {
          "start": 42,
          "end": 45
        }
      }
    ],
    "loc": {
      "start": 31,
      "end": 45
    }
// ...

[FineArchs]

Cstの時点でカッコの中身が吹き飛んでるっぽいのでparser.peggyに問題がありそうです

[FineArchs]

(a.b)のCst

[
  {
    "type": "identifier",
    "name": "a",
    "loc": {
      "start": 1,
      "end": 1
    },
    "chain": [
      {
        "type": "propChain",
        "name": "b",
        "loc": {
          "start": 2,
          "end": 3
        }
      }
    ]
  }
]

(a.b).cのCst

[
  {
    "type": "identifier",
    "name": "a",
    "loc": {
      "start": 1,
      "end": 1
    },
    "chain": [
      {
        "type": "propChain",
        "name": "c",
        "loc": {
          "start": 5,
          "end": 6
        }
      }
    ]
  }
]

chainが上書きされる形になっているようですね。括弧に専用のノードを用意したほうが良さそう

[arakur]

parser.peggy の 309 行目，

Chain
	= e:Expr3 chain:(CallChain / IndexChain / PropChain)+
{ return { ...e, chain }; }

の部分で chain プロパティが上書きされているように見えます．

[arakur]

chain を更新する代わりに e.chain が存在するなら append するように書き換えればとりあえず直りそうではありますが，括弧ノードを追加するほうが合理的ですかね．

[arakur]

手元で上記の部分を修正したところプロパティアクセス・インデクスアクセスともに正しく動作しました．
取り急ぎこちらを PR してしまってよろしいでしょうか？

[FineArchs]

ありがとうございます。お願いします。

[marihachi]

新しいパーサーでも問題が起こるか確かめるために、テストを取り込ませていただきました。
ありがとうございます。