Typechecker stack overflow
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 38/100
- Tipo de issue
- Error
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Área
- compilers
Línea de trabajo
Comienza con las pruebas comentadas en Tests/Typechecker, especialmente con Tests/Typechecker/Reject.lean en la línea 9, y ejecuta la suite de pruebas del typechecker para reproducir el desbordamiento de pila. Sigue el fallo para el fixture no mutual y confirma después que las pruebas afectadas se pueden habilitar y ejecutar sin desbordar la pila.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
There are some tests for the typechecker that are commented out because they're causing a stack overflow during executions. These tests are here: https://github.com/yatima-inc/yatima/tree/main/Tests/Typechecker
One that might be particularly interesting to debug is this one: https://github.com/yatima-inc/yatima/blob/main/Tests/Typechecker/Reject.lean#L9, since the fixture doesn't involve mutuals.
- Lenguaje dominante
- Lean
- Estrellas
- 148
- Forks
- 12
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Sin plantilla de pull request
- Leer la guía de contribución
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/yatima
-
Dificultad 4/5 3-5 días Aptitud para principiantes 30/100
argumentcomputer/yatima#280 ·
-
enhancement infra
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
argumentcomputer/yatima#275 ·
-
enhancement typechecker
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100
argumentcomputer/yatima#272 ·
-
Remove thunks from the typecheckerPosiblemente ocupada @gabriel-barrett la tomó hace 1322 días. Abiertoenhancement typechecker
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100
argumentcomputer/yatima#268 · 1 reacción ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
argumentcomputer/yatima#249 ·
Todos los issues de argumentcomputer/yatima
Issues similares
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 87/100
gleam-lang/gleam#6491 ·
Los mantenedores suelen responder en 1 día
-
clang:frontend
Dificultad 2/5 1-3 horas Aptitud para principiantes 67/100
llvm/llvm-project#238916 · 6 comentarios ·
Los mantenedores suelen responder en 1 día
-
good first issue priority:low scope:syntax
Dificultad 1/5 Menos de una hora Aptitud para principiantes 92/100
Los mantenedores suelen responder en 1 día
-
C ABI signature lowering drops explicit function alignmentPosiblemente ocupada @cpunion la tomó hoy. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Los mantenedores suelen responder en 1 día
-
bug Fortran low priority OOP
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
Los mantenedores suelen responder en 1 día