Improvement: Add a `debug` combinator
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 2/5
- Tiempo estimado
- 1-3 horas
- Aptitud para principiantes
- 52/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Bien especificado
- Estado de actividad
- Estancado
- Área
- compilers
Línea de trabajo
Empieza leyendo Common.lean e inspecciona los combinadores de parser existentes y el uso de tracing. Añade allí el combinador de debug solicitado para que los valores del parser puedan trazarse sin un bind monádico inline y, después, verifícalo con los checks existentes del proyecto.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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.
- Lenguaje dominante
- Lean
- Estrellas
- 37
- Forks
- 8
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de argumentcomputer/Megaparsec.lean
-
Can you update the project?Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
Bump Straume versionAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
argumentcomputer/Megaparsec.lean#55 · 3 comentarios ·
-
Performance: Profile Megaparsec to see where the bottlenecks are leading to poor performanceAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
Todos los issues de argumentcomputer/Megaparsec.lean
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 77/100
rescript-lang/rescript#8953 ·
Los mantenedores suelen responder en 1 día
-
bug priority: P2
Dificultad 1/5 Menos de una hora Aptitud para principiantes 78/100
Los mantenedores suelen responder en 1 día
-
confirmed generated by fuzzer llvm:optimizations miscompilation
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
llvm/llvm-project#234325 ·
Los mantenedores suelen responder en 1 día
-
grammar selfhost sev-3
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
Los mantenedores suelen responder en 1 día