CakeML/cakeml

Remove set_trace on var_eq_old

Aberta

#1.171 aberto em 7 de mai. de 2025

Ver no GitHub
 (4 comentários) (0 reação) (1 responsável)Standard ML (98 forks)auto 404
help wantedrefactoring

Métricas do repositório

Stars
 (1.169 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

Description

There's a bunch of these:

set_trace "BasicProvers.var_eq_old" 1

in the codebase.

It would be good to remove these toggles as they're a bit gross.

Guia do colaborador

Direção de pesquisa
Pesquise a string 'set trace "BasicProvers.var eq old" 1' no código e remova essas linhas. Antes de excluir, verifique se o módulo 'BasicProvers.var eq old' não é usado em outro lugar.
Pilha de tecnologia
None
Domain
compilerstooling
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.
1
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Menos de 1 hora
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
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.
90