[Bug]: Swift: a local with same name as a modifier (prefix, open, final...) used in a switch case body gives a syntax-parse error from tree-sitter-swift

Aperta Adatta ai principianti
  • Qualcosa non va?
#5,006 2 commenti 0 reazioni 0 assegnatari Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
2/5
Tempo stimato
1-3 ore
Idoneità per principianti
65/100
Tipo di issue
Bug
Chiarezza
Specificata chiaramente
Stato di attività
Attiva
Stack tecnologico
python, swift
Ambito
developer-experience, tooling

Direzione di ricerca

L’issue indica extract.py, la parametrizzazione dei test Swift e il changelog. Leggi la gestione esistente degli identificatori che prendono il nome dai modificatori ed esegui i due file di test Swift menzionati nell’issue. Il lavoro è completato quando le espressioni switch-case interessate vengono analizzate, i sei nomi aggiuntivi sono inclusi e questi test passano; le eccezioni elencate restano invariate.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

bug
Pre-flight checks
  • I have checked the Troubleshooting section in the README
What happened?

Summary:
tree-sitter-swift 0.7.4 cannot parse a local value whose name is a Swift contextual modifier when it is used as return name <operator> or return name.member inside a switch case. The grammar reads the identifier as a declaration modifier waiting for a declaration, and the surrounding code collapses into ERROR nodes. Graphify warns about a syntax-parse error at line: X and extracts the file only partially.

Related but distinct: #3540 (another tree-sitter-swift parse failure, if let x = await ...).

The trigger is a modifier-named identifier at the start of an expression statement inside a case body, followed by an operator or member access.

Limits and unfixed exceptions (the fix doesn't cover these, so behavior is unchanged: partial extraction plus the warning):

  1. A function parameter named like a modifier. Renaming it would change the argument label and every call site.
  2. A closure parameter, as in xs.map { prefix in ... }.
  3. Tuple destructuring, as in let (prefix, b) = t.
  4. A file with any other syntax error, because the rewrite is accepted only if the whole file then parses cleanly.
  5. Names I haven't tested. The list is only what I verified.

Covered: if let prefix = x, and a type-scope property with the same name.

Code change: added six names that also fail to extract.py, the test parametrization, and the changelog: distributed, nonmutating, public, private, internal and fileprivate.

Validation: The Swift tests pass, 36 of 36 in the two files I re-ran after the change. I did not re-run the full suite because it had 8 failures before this change, and they also fail without this fix.

static, class and inout also error, but they are reserved keywords, so let class = 1 isn't valid Swift.

Steps to reproduce

Minimal repro

let prefix = "x"
switch kind {
case 0:
return prefix + "a" // error

Case body Result
return prefix + "a" error
return prefix.count > 0 ? "a" : "b" error
return prefix ok
print(prefix) ok
let y = prefix ok
x = prefix + "a" ok
return "a" + prefix ok
return pfx + "a" (local renamed) ok
return prefix + "a" inside if k == 0 { ... } instead of a switch ok
return prefix + "a" after the switch, outside any case ok
Error output or graph output
codefile.swift had a syntax-parse error at line X, so its extraction may be partial (Y symbols found).
Graphify version

0.9.102

Operating System

macOS

Python Version

3.13

Installation Method

uv tool install (recommended)

Additional Environment Details

No response

Additional context

No response

Lingua principale
Python
Stelle
124k
Fork
11.9k
Merge medio
2h 35m
PR unite (30g)
6

Preparare l'ambiente

Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di Graphify-Labs/graphify

Tutte le issue di Graphify-Labs/graphify

Issue simili

Altre issue su Python

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.