Can you update the project?
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 35/100
- Tipo de issue
- Refactorización
- Claridad
- Necesita aclaración
- Estado de actividad
- Tranquilo
- Área
- compilers
Línea de trabajo
Comienza inspeccionando la compatibilidad con Lean 4 y la configuración de compilación del repositorio Megaparsec.lean; después, identifica qué requiere la última versión estable de Lean. No se especifican archivos, pruebas ni puntos de entrada concretos; se considera terminado cuando la biblioteca se compila y su comportamiento existente de combinadores de analizadores sigue funcionando en esa versión.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Hello!
I want to write my own compiler, and I'm looking for a parser-combinator library. I'm too lazy to write my own.
Could you please tell me if you could update the library so it works with the latest stable version of Lean?
Libraries for this language are rare, so they need to be protected!
I'd be happy to update it myself, but I'm completely new to Lean, and it'll probably be quite difficult for me.
- 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
-
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
-
good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 52/100
argumentcomputer/Megaparsec.lean#26 · 1 comentario ·
Todos los issues de argumentcomputer/Megaparsec.lean
Issues similares
-
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 62/100
-
Support underscore in modulesAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
gren-lang/compiler-common#41 ·