Specialize checker types to express ClauseFn won't be passed as argument
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Aptitud para principiantes
- 53/100
Línea de trabajo
Start by locating the checker functions and the ClauseFn constructor referenced in the discussion, then inspect how student programs invoke those checkers. The issue proposes changing checker signatures to take the left and right sides separately; confirm which checkers have the unused case and update their types and call sites consistently. Done when the checkers no longer need that case and the project’s existing tests pass.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Do all checkers have this nothing-to-do-case for the ClauseFn constructor that anyway can never occur in a student program?
Wouldn’t it make more sense then to specialize those functions’ types to always explicitly take the lhs and the rhs as separate arguments, instead of Clause lhs rhs?
Originally posted by @jvoigtlaender in https://github.com/fmidue/prolog-programming-task/pull/54#discussion_r4241879995
- Lenguaje dominante
- Haskell
- Estrellas
- 0
- Forks
- 1
- Merge medio
- 1 d 13 h
- PR fusionados (30 d)
- 18
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Tiene una plantilla de pull request
- Sin 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 fmidue/prolog-programming-task
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 85/100
fmidue/prolog-programming-task#55 · 2 comentarios ·
Los mantenedores suelen responder en 1 día
-
store parsed definitions in `TaskInstance`Posiblemente ocupada @nimec01 la tomó hoy. Abierto
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
fmidue/prolog-programming-task#57 ·
Los mantenedores suelen responder en 1 día
-
clone detection settingsAbierto
Dificultad 3/5 Medio día Aptitud para principiantes 55/100
fmidue/prolog-programming-task#46 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
fmidue/prolog-programming-task#42 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
fmidue/prolog-programming-task#36 · 4 comentarios ·
Los mantenedores suelen responder en 1 día
Todos los issues de fmidue/prolog-programming-task
Issues similares
-
A `--symbolic` entry binding `𝑛3` and `!n3` passes the load check, since `once` compares spellings, and fails mid-run with a `user error`Posiblemente ocupada @sherenkov la tomó hoy. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 66/100
objectionary/phino#1929 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
CJK text is italicizedPosiblemente ocupada @daniel-gregg la tomó hoy. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
Los mantenedores suelen responder en 4 días
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 85/100
simplex-chat/simplex-chat#7714 · 1 reacción ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
Los mantenedores suelen responder en 2 días