rescript-lang / rescript-lang/rescript-vscode

@deriving({abstract: light}) record labels marked as "never used to read a value"

Aperta
#533 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Lingua principale
ReScript
Stelle
354
Fork
63
Merge medio
11h 29m
PR unite (30g)
1

Descrizione

I'm using:

  • ReScript: 9.1.4
  • VSCode plugin: 1.4.2

when having this code:

@deriving({abstract: light})
type someType = {field: string}

let f = a => a->field

What happens:

I get a warning on the 2nd line, under "field: string", saying that "someType.field is a record label never used to read a value"

What should happen:

There should be no warning, why? Because I'm actually reading from that field.

Proof: If I change the name of field in the type declaration or use other name after the a-> the code does not compile, which is correct and also probes that that declaration is being used.

Guida per i contributori

Apri la guida per i contributori

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.

Direzione di ricerca

Riproduci l'avviso nel plugin VSCode con lo snippet ReScript dell'issue, quindi traccia il modo in cui il plugin segnala le label di record inutilizzate. Il lavoro è completato quando l'avviso è assente se field viene letto tramite a->field, mentre la modifica del nome della label o del campo a cui si accede continua a produrre il fallimento di compilazione previsto.

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

Valutazione

Ambito
tooling
Tipo di issue
Bug
Difficoltà
3/5
Tempo stimato
1-2 giorni
Stato di attività
Ferma
Chiarezza
Abbastanza chiara
Idoneità per principianti
45/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.