Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

Improvement: Add a `debug` combinator

Aperta
  • Qualcosa non va?
#26 1 commento 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
2/5
Tempo stimato
1-3 ore
Idoneità per principianti
52/100
Tipo di issue
Funzionalità
Chiarezza
Specificata chiaramente
Stato di attività
Ferma
Ambito
compilers

Direzione di ricerca

Inizia leggendo Common.lean e ispeziona i combinatori di parser esistenti e l'uso del tracing. Aggiungi lì il combinatore di debug richiesto, in modo che i valori del parser possano essere tracciati senza un bind monadico inline, quindi verificalo rispetto ai check esistenti del progetto.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

good first issue

Why?

While debugging combinatorial parsers, people often wrap a parser into debug like so:

def laLexer : Parsec Char String Unit String :=
  s.lookAhead ((s.stringP "|" <* (void c.eol <|> c.eof)) <|> s.stringP " ")

becomes

def laLexer : Parsec Char String Unit String :=
  s.lookAhead ((s.stringP "|" <* (void (c.eol >>= fun x => do
                                                     dbg_trace! x
                                                     pure x)
                                        <|> c.eof)) <|> s.stringP " ")

It's error-prone. We'd rather have this monadic bind with a trace in a separate combinator!

How?

  • Write such combinator in Common.lean.
Lingua principale
Lean
Stelle
37
Fork
8
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di argumentcomputer/Megaparsec.lean

Tutte le issue di argumentcomputer/Megaparsec.lean

Issue simili

Altre issue su Compilers

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.