Make `checkTask` use `output-blocks`?

Abierto

#36 abierto el 23/9/2026 4 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad: 4/5
Tiempo estimado: 3-5 días
Aptitud para principiantes: 45/100

Tipo de issue: Refactorización
Claridad: Bastante claro
Estado de actividad: Activo
Stack tecnológico: haskell
Área: backend, tooling

Línea de trabajo

Look at the checkTask function and its dependencies, drawTree and testRunner, in the codebase. Examine the autotool-capabilities module for MonadDiagrams and MonadGraphviz to see if drawTree can be adapted. For testRunner, investigate the timeout function's IO requirement and consider alternative concurrency or effect-handling approaches within the output-blocks framework. Determine if the refactor is feasible without unsafePerformIO by understanding the monadic capabilities available.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

I tried to port checkTask over to use output-blocks but ran into two issues. Both drawTree and testRunner require IO capabilities.

drawTree could probably be rewritten to use MonadDiagrams and MonadGraphviz from autotool-capabilities, but testRunner requires IO because of the timeout function.

Is there any way to go about this (and I guess unsafePerformIO is not the way to go).

Lenguaje dominante: Haskell
Estrellas: 0
Forks: 1
Merge medio: 9 h 14 min
PR fusionados (30 d): 3

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

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

Prevent predicates occurring with multiple arities Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 52/100

fmidue/prolog-programming-task#32 · Abierto el 20/9/2026
Changes to Config representation/parametrization of config entries' context Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

fmidue/prolog-programming-task#30 · Abierto el 4/9/2026
Optionally require that submissions must still work (pass the test suite) when clauses per predicate are permuted Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

fmidue/prolog-programming-task#29 · Abierto el 26/8/2026
Optionally forbid usage of Cut (`!`) in student submissions Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

fmidue/prolog-programming-task#28 · Abierto el 26/8/2026
Optionally reject code that doesn't group clauses by predicate name Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

fmidue/prolog-programming-task#26 · Abierto el 7/5/2026

Todos los issues de fmidue/prolog-programming-task

Issues similares

Document that JWT `alg=none` is not supported Abierto

docs

Dificultad 1/5 Menos de una hora Aptitud para principiantes 85/100

PostgREST/postgrest#5281 · Abierto el 23/9/2026
cabal build output bleeds into the help diff output Abierto

needs triage type: bug

Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100

haskell/cabal#12375 · Abierto el 23/9/2026
user feedback: Rename `lam` to `lambda` and give the unit type a name Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100

argotorg/solcore#587 · Abierto el 23/9/2026
Crucible packages being built with overelaborate profiling annotations. Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100

GaloisInc/crucible#1904 · Abierto el 23/9/2026
doclayout-0.6 Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100

commercialhaskell/stackage#8126 · Abierto el 23/9/2026

Más issues de Haskell