IntersectMBO/plutus

`dischargeCekValue` doesn't handle open terms correctly

Open

Aperta il 15 gen 2026

Vedi su GitHub
 (5 commenti) (1 reazione) (1 assegnatario)Haskell (1637 star) (511 fork)batch import
Good first issuebugstatus: triaged

Descrizione

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.

Guida contributor

Tech stack
Nessuno
Dominio
backend
Tipo issue
bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 hours
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
active
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
clear
Prerequisiti
HaskellCEK machine
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40
Direzione di ricerca
Esamina la funzione `dischargeCekValue` per capire come gestisce i termini aperti. Identifica lo scenario di cattura delle variabili e implementa una sostituzione che eviti la cattura, magari rinominando le variabili vincolate o usando una rappresentazione ben scoping.