unisonweb/unison

`manageLinks` in `HandleInput` should have a stronger type

Open

#1443 aperta il 20 apr 2020

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Haskell (304 fork)batch import
help wantedtech debt

Metriche repository

Star
 (6624 star)
Metriche merge PR
 (Merge medio 10g 2h) (5 PR mergiate in 30 g)

Descrizione

The current type of this function is:

    manageLinks :: [(Path', NameSegment.HQSegment)]
                -> [HQ.HashQualified]
                -> (forall r. Ord r
                    => (r, Reference, Reference)
                    ->  Branch.Star r NameSegment
                    ->  Branch.Star r NameSegment)
                -> Action m (Either Event Input) v ()

Since it takes names rather than references, it has to parse those names. This is probably OK for now, but may run into strange corner cases later.

Guida contributor

Direzione di ricerca
Studia la funzione `manageLinks` nella codebase di Unison per comprenderne l'uso attuale e i vincoli. Proponi un tipo più forte, eventualmente utilizzando tipi esistenziali o famiglie di tipi, assicurandoti che la modifica rimanga retrocompatibile. Discuti eventuali effetti collaterali su altre parti della codebase.
Tech stack
Nessuno
Dominio
backend
Tipo issue
Refactoring
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
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.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Git
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60