unisonweb/unison

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

Open

#1.443 aberto em 20 de abr. de 2020

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (304 forks)batch import
help wantedtech debt

Métricas do repositório

Stars
 (6.624 stars)
Métricas de merge de PR
 (Mesclagem média 10d 2h) (5 fundiu PRs em 30d)

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.

Guia do colaborador

Direção de pesquisa
Estude a função `manageLinks` na base de código do Unison para entender seu uso atual e restrições. Proponha um tipo mais forte, possivelmente usando tipos existenciais ou famílias de tipos, garantindo que a mudança permaneça compatível com versões anteriores. Discuta quaisquer efeitos colaterais potenciais em outras partes da base de código.
Pilha de tecnologia
None
Domain
backend
Tipo Issue
Refatoração
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Git
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
60