IntersectMBO/plutus

`dischargeCekValue` doesn't handle open terms correctly

Open

#7 526 ouverte le 15 janv. 2026

Voir sur GitHub
 (5 commentaires) (1 réaction) (1 assigné)Haskell (1 637 stars) (511 forks)batch import
Good first issuebugstatus: triaged

Description

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.

Guide contributeur

Stack technique
Aucun
Domaine
backend
Type d'issue
bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
4
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 hours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
blocked
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
clear
Prérequis
basic Haskelllambda calculus
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
25
Direction de recherche
The bug is in the `dischargeCekValue` function within the Plutus codebase. Start by locating this function, likely in a file related to the CEK machine evaluator. The issue describes variable capture when handling free variables. Review the specific case for `Var () named` and understand how the substitution is performed. Check if there are any existing tests for this behavior. The current assignee may have additional context; consider reviewing any comments for further guidance.