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 (511 forks)batch import
Good first issuebugstatus: triaged

Métriques du dépôt

Stars
 (1 637 stars)
Métriques de merge PR
 (Merge moyen 15j 11h) (13 PRs mergées en 30 j)

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

Direction de recherche
Examinez la fonction `dischargeCekValue` pour comprendre comment les termes ouverts sont traités. Identifiez le scénario de capture de variable et implémentez une substitution qui évite la capture, éventuellement en renommant les variables liées ou en utilisant une représentation bien scopée.
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.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
HaskellCEK machine
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
40