IntersectMBO/plutus

`dischargeCekValue` doesn't handle open terms correctly

Open

#7,526 创建于 2026年1月15日

在 GitHub 查看
 (5 评论) (1 反应) (1 负责人)Haskell (511 fork)batch import
Good first issuebugstatus: triaged

仓库指标

Star
 (1,637 star)
PR 合并指标
 (平均合并 15天 11小时) (30 天内合并 13 个 PR)

描述

dischargeCekValue has the following code:

                  -- var is free, leave it alone
                  (Var () named)

which means that

(\0 \0 var 2) (delay (var 1))

evaluates to

[1 :-> delay (var 1)] (\0 var 2)

which then discharges to

\0 delay (var 1)

which is variable capture.

贡献者指南

研究方向
检查 `dischargeCekValue` 函数如何处理开放项。识别变量捕获场景，并实现避免捕获的替换，可能通过重命名绑定变量或使用良好作用域表示。
技术栈
无
领域
backend
议题类型
缺陷
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-3 小时
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
清晰
前置要求
HaskellCEK machine
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
40