IntersectMBO/plutus

`dischargeCekValue` doesn't handle open terms correctly

Open

#7.526 geöffnet am 15. Jan. 2026

Auf GitHub ansehen
 (5 Kommentare) (1 Reaktion) (1 zugewiesene Person)Haskell (511 Forks)batch import
Good first issuebugstatus: triaged

Repository-Metriken

Stars
 (1.637 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 15T 11h) (13 gemergte PRs in 30 T)

Beschreibung

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.

Contributor Guide

Research-Richtung
Untersuche die Funktion `dischargeCekValue`, um zu verstehen, wie offene Terme behandelt werden. Identifiziere das Szenario der Variablenbindung und implementiere eine bindungsvermeidende Substitution, möglicherweise durch Umbenennen gebundener Variablen oder Verwendung einer wohlgescopten Darstellung.
Tech Stack
Keine
Domain
backend
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
HaskellCEK machine
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
40