teal-language/tl

internals: remove duplicate entries from interface_list

Chiusa

#1018 aperta il 17 lug 2025

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)Lua (156 fork)batch import
good first issue

Metriche repository

Star
 (2808 stelle)
Metriche merge PR
 (Merge medio 1g 6h) (1 PR mergiata in 30 g)

Descrizione

Reported by @upedd :

One quick question about Teal, when dealing with complex interface hierarchies, sometimes there are duplicate entries in the interface_list of a record type. Is this the expected behavior? See example:

local interface A 
end

local interface B is A
end

local interface C is A
end

-- interface_list of D is now {B, A, C, A} 
local record D is B, C
end

My reply:

it should not hurt in practice, but we should clean it up. The order does matter since that is how conflicts are handled, but basically we should be able to ignore duplicate entries, so {B, A, C} would be the correct list in that case. I'll file an issue to remind myself to clean it up.

Guida contributor

Direzione di ricerca
Il problema riguarda la rimozione delle voci duplicate dall'interface list dei tipi record. La correzione probabilmente risiede nel codice che costruisce l'interface list durante il controllo dei tipi o l'elaborazione della definizione del record. Cerca dove vengono aggiunte le interfacce (ad esempio, durante l'elaborazione delle clausole 'is' nelle dichiarazioni dei tipi record). Basta iterare sulla lista e rimuovere i duplicati preservando l'ordine. Il maintainer ha indicato che i duplicati dovrebbero essere ignorati, quindi una semplice deduplicazione dovrebbe funzionare. Controlla la logica di risoluzione dei tipi o costruzione dei record pertinente nel sorgente del compilatore Teal.
Tech stack
lua
Dominio
backend
Tipo issue
Refactoring
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Lua
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
75