CakeML/cakeml

Remove set_trace on var_eq_old

オープン

#1,171 opened on 2025/05/07

GitHub で見る
 (4 件のコメント) (0 件のリアクション) (1 人の担当者)Standard ML (98 件のフォーク)auto 404
help wantedrefactoring

Repository metrics

Stars
 (1,169 個のスター)
PR merge metrics
 (PR metrics pending)

説明

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.

コントリビューターガイド

調査方針
コードベース内の文字列 'set trace "BasicProvers.var eq old" 1' を検索し、それらの行を削除してください。削除前にモジュール 'BasicProvers.var eq old' が他で使用されていないことを確認してください。
技術スタック
なし
領域
compilerstooling
Issue 種別
リファクタリング
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
1
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1時間未満
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
アクティブ
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
明確
前提条件
Git
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
90