CakeML/cakeml

Remove set_trace on var_eq_old

Offen

#1.171 geöffnet am 07.05.2025

Auf GitHub ansehen
 (4 Kommentare) (0 Reaktionen) (1 zugewiesene Person)Standard ML (98 Forks)auto 404
help wantedrefactoring

Repository-Metriken

Stars
 (1.169 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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.

Contributor Guide

Research-Richtung
Durchsuchen Sie die Codebasis nach der Zeichenfolge 'set trace "BasicProvers.var eq old" 1' und entfernen Sie diese Zeilen. Überprüfen Sie vor dem Löschen, ob das Modul 'BasicProvers.var eq old' nicht anderswo verwendet wird.
Tech Stack
Keine
Domain
compilerstooling
Issue Type
Refactoring
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
1
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Unter 1 Stunde
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Git
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
90