CakeML/cakeml

Remove set_trace on var_eq_old

Aperta

#1171 aperta il 7 mag 2025

Vedi su GitHub
 (4 commenti) (0 reazioni) (1 assegnatario)Standard ML (98 fork)auto 404
help wantedrefactoring

Metriche repository

Star
 (1169 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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.

Guida contributor

Direzione di ricerca
Cerca la stringa 'set trace "BasicProvers.var eq old" 1' nel codice e rimuovi quelle righe. Prima di eliminare, verifica che il modulo 'BasicProvers.var eq old' non sia usato altrove.
Tech stack
Nessuno
Dominio
compilerstooling
Tipo issue
Refactoring
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
1
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Meno di 1 ora
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
Git
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
90