Show more information when `.cbor` control fails

Abierto
#149 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
3/5
Tiempo estimado
1-2 días
Aptitud para principiantes
45/100
Tipo de issue
Nueva funcionalidad
Claridad
Bastante claro
Estado de actividad
Estancado
Stack tecnológico
haskell
Área
tooling

Línea de trabajo

Empieza localizando ValidationTrace y la ruta de validación para los controles CBOR codificados. Añade el caso InvalidCborControl con la traza de validación CBOR codificada y, después, verifica que un control .cbor no satisfecho exponga por qué falló la validación.

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

Descripción

It should be relatively easy to show why a .cbor control is unsatisfied. We have access to the validation trace of the encoded CBOR, so it's just a matter of adding a new constructor to ValidationTrace that stores that trace and then adding that constructor to the trace when the validation on encoded CBOR fails.

data ValidationTrace (v :: Validity) where
  ...
  InvalidCborControl :: CTree ValidatorStageSimple -> ValidationTrace IsInvalid -> ValidationTrace IsInvalid
Lenguaje dominante
Haskell
Estrellas
8
Forks
5
Merge medio
3 d 12 h
PR fusionados (30 d)
4

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

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de IntersectMBO/cuddle

Todos los issues de IntersectMBO/cuddle

Issues similares

Más issues de Haskell

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.