[FEAT] Tackle impossible cases with minimal requirements
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 35/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Área
- compilers
Línea de trabajo
Comienza con issue #888 e inspecciona la definición y los usos de #lookupDiscrAux, especialmente el caso que involucra ?SplHasDelegateKey y los discriminantes enumerados. Determina cómo los bounds existentes establecen el resultado 0-or-1 e identifica una forma respaldada por el proyecto de eliminar la cláusula ensure redundante; se considera terminado cuando los casos imposibles ya no requieren ese ensure explícito.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
In #888, we use ensure (0 ==Int #lookupDiscrAux(discriminant(0) discriminant(1) .Discriminants, ?SplHasDelegateKey) orBool 1 ==Int #lookupDiscrAux(discriminant(0) discriminant(1) .Discriminants, ?SplHasDelegateKey)) to avoid unreachable cases.
However, 0 <=Int ?SplHasDelegateKey andBool ?SplHasDelegateKey <=Int 1 and the definiton of #lookupDiscrAux should already give enough information that it should be 0 or 1 for this #lookupDiscrAux.
Could we provide a way to avoid this redundant ensure clause?
- Lenguaje dominante
- Python
- Estrellas
- 55
- Forks
- 5
- Métricas de merge de PR
- Sin PR fusionados en 30 d
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
- 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 runtimeverification/mir-semantics
-
Remove #init function from KAbierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 65/100
-
Inconsistent KMIR versions across projectPosiblemente ocupada @dkcumming la tomó hace 105 días. Abierto
Dificultad 3/5 1-2 días Aptitud para principiantes 52/100
runtimeverification/mir-semantics#1078 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 58/100
runtimeverification/mir-semantics#1070 · 2 comentarios ·
-
bug
Dificultad 3/5 1-2 días Aptitud para principiantes 58/100
runtimeverification/mir-semantics#1067 ·
-
area:semantics kind:refactor priority:p1 status:triage type:task
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
runtimeverification/mir-semantics#1011 · 1 comentario ·
Todos los issues de runtimeverification/mir-semantics
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 67/100
pydot/pydot#601 · 4 comentarios ·
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
letsencrypt/cp-cps#361 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
-
CI: startup_failure because callers grant fewer permissions than ledger-app-workflows@v1 declaresPosiblemente ocupada @maykonmichel la tomó hoy. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
LedgerHQ/app-boilerplate-rust#227 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
linuxmint/mintupdate#1107 ·