Improvement: lift universes in String and Char modules or make \a \b universes independent from \w universe
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 25/100
- Tipo de issue
- Refactorización
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Área
- compilers
Línea de trabajo
Empieza leyendo los módulos String y Char y las definiciones relacionadas con los universos \w, \a y \b. Comprueba los tipos del proyecto y ejecuta main; se considera terminado cuando se haya implementado uno de los enfoques y ambas comprobaciones sean satisfactorias.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Why?
MonadParsec is universe-polymorphic, concrete specifications like Char and String aren't.
It's ok, but our source has the same universe as our composite and atomic types, so concretisation of those causes the source go down to first universe.
How?
- Make \w universe independent from \a \b
- Refactor to type check and run main
- 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
-
Recover inside a parameter listAbiertoenhancement scope:diagnostics scope:syntax
Dificultad 2/5 1-3 horas Aptitud para principiantes 77/100
-
code: refactoring good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
idris-lang/Idris2#3887 ·
Los mantenedores suelen responder en 1 día
-
luaebpf: a write to a field of a table the body built is refused as an assignment to a globalAbiertoseverity: low
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
luainkernel/lunatik#2207 ·
Los mantenedores suelen responder en 1 día
-
backend:X86 generated by fuzzer llvm:globalisel miscompilation
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
llvm/llvm-project#235468 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
area:codegen backend:cuda backend:hip bug direction:input
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
CrossGL/crosstl#3061 · 1 comentario ·
Los mantenedores suelen responder en 1 día