[K-Bug] Two configuration declarations in a single module produces an unhelpful error message
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Aptitud para principiantes
- 38/100
- Tipo de issue
- Error
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Área
- compilers
Línea de trabajo
Start by saving the provided definition as tmp.k and running kompile tmp.k to reproduce the malformed external cell error. Trace the configuration-declaration validation in the kompile front end; done means two declarations in one module produce a clear diagnostic explaining the one-declaration limit and how to resolve it.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
What component is the issue in?
Front-End
Which command
- kompile
- kast
- krun
- kprove
- kprovex
- ksearch
What K Version?
v7.1.170-0-g5c84d48f69
Operating System
Linux
K Definitions (If Possible)
module TMP
imports INT
configuration <extraLocalConfig> 1 </extraLocalConfig>
configuration <mainConfig> <extraLocalConfig/> </mainConfig>
endmodule
Steps to Reproduce
Save above definition to tmp.k and run kompile tmp.k.
An error message of the form below will be emitted:
[Error] Compiler: Malformed external cell in configuration declaration.
Source(/home/stephen/rv/tmp.k)
Location(4,30,4,49)
4 | configuration <mainConfig> <extraLocalConfig/> </mainConfig>
. ^~~~~~~~~~~~~~~~~~~
[Error] Compiler: Had 1 parsing errors.
Expected Results
I expect to get an error that says something like:
A module may only have up to one configuration declaration; please merge the two configuration declarations into one (or) put the two configuration declarations into separate modules.
I just made this on the fly --- there is definitely a better way to word it, but this is just for a start.
- Lenguaje dominante
- Python
- Estrellas
- 591
- Forks
- 163
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
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/k
-
Introduce composable symbolic execution interface in pyxQuizá libre de nuevo @Stevengre la tomó hace 97 días y no hay ningún pull request abierto. Abierto
runtimeverification/k#4939 · 1 asignado ·
-
Concolic ExplorerAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 32/100
runtimeverification/k#4937 ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
runtimeverification/k#4936 ·
-
Accelerating all-path reachability proofs with one-path reachability proofsQuizá libre de nuevo @Stevengre la tomó hace 103 días y no hay ningún pull request abierto. Abiertotype:epic
runtimeverification/k#4934 · 4 comentarios · 1 asignado ·
-
Support progressive depth halving as a generic policy in `Prover.advance_proof`Quizá libre de nuevo @Stevengre la tomó hace 123 días y no hay ningún pull request abierto. Abierto
runtimeverification/k#4924 · 1 asignado ·
Todos los issues de runtimeverification/k
Issues similares
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 85/100
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 90/100
Los mantenedores suelen responder en 1 día
-
https://search.utilibre.orgAbiertoinstance instance add
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
searxng/searx-instances#941 · 1 comentario ·
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 92/100
FluidNumerics/fluid-walk-blocker#89 ·
Los mantenedores suelen responder en 1 día
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
Los mantenedores suelen responder en 1 día