CakeML/cakeml

Remove set_trace on var_eq_old

开放

#1,171 创建于 2025年5月7日

在 GitHub 查看
 (4 条评论) (0 个反应) (1 位负责人)Standard ML (98 个派生)auto 404
help wantedrefactoring

仓库指标

星标
 (1,169 个星标)
PR 合并指标
 (PR 指标待抓取)

描述

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
议题类型
重构
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
1
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1 小时以内
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
清晰
前置要求
Git
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
90