unisonweb/unison

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

Open

#1 443 ouverte le 20 avr. 2020

Voir sur GitHub
 (0 commentaires) (0 réactions) (0 assignés)Haskell (304 forks)batch import
help wantedtech debt

Métriques du dépôt

Stars
 (6 624 stars)
Métriques de merge PR
 (Merge moyen 10j 2h) (5 PRs mergées en 30 j)

Description

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.

Guide contributeur

Direction de recherche
Étudiez la fonction `manageLinks` dans la base de code d'Unison pour comprendre son utilisation actuelle et ses contraintes. Proposez un type plus fort, éventuellement en utilisant des types existentiels ou des familles de types, en veillant à ce que le changement reste rétrocompatible. Discutez des effets secondaires potentiels sur d'autres parties de la base de code.
Stack technique
Aucun
Domaine
backend
Type d'issue
Refactorisation
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Git
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60