IntersectMBO/plutus

`dischargeCekValue` doesn't handle open terms correctly

Open

#7526 aperta il 15 gen 2026

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

Metriche repository

Star
 (1637 star)
Metriche merge PR
 (Merge medio 15g 11h) (13 PR mergiate in 30 g)

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

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.
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 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
HaskellCEK machine
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40