Optionally forbid particular predicates per task
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 55/100
Línea de trabajo
Comienza localizando la configuración de la tarea y el código que valida los predicados del estudiante; el issue no nombra archivos, tests ni puntos de entrada. Traza cómo se produce el feedback de la tarea y, después, verifica que un predicado prohibido configurado sea rechazado con el mensaje solicitado, mientras que los predicados permitidos no se vean afectados.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
For example, if students use number/1 in a Peano task, they have fundamentally misunderstood the whole point of "symbolic numbers" like s(s(null)).
To address that, the task configuration could specify a list of forbidden predicates, so that in such a case the feedback "You cannot use number in this task" would be given.
- Lenguaje dominante
- Haskell
- Estrellas
- 0
- Forks
- 1
- Merge medio
- 1 d 15 h
- PR fusionados (30 d)
- 5
Preparar el entorno
Aún no hemos revisado los archivos de configuración de este proyecto. 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 fmidue/prolog-programming-task
-
Dificultad 3/5 1-2 días Aptitud para principiantes 52/100
fmidue/prolog-programming-task#37 · 1 reacción ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
fmidue/prolog-programming-task#36 · 4 comentarios ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 52/100
-
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
-
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
Todos los issues de fmidue/prolog-programming-task
Issues similares
-
Add DataHaskell ?Abierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 76/100
severo/awesome-parquet#50 ·
-
`morph` and `dataize` skip `validateXmirTopLevel`, so they write XMIR that `rewrite` refusesAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
objectionary/phino#1444 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 88/100
Los mantenedores suelen responder en 1 día
-
enhancement triage
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
simplex-chat/simplex-chat#7585 ·
Los mantenedores suelen responder en 1 día
-
typst-0.12Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
commercialhaskell/stackage#8127 ·