Different type IDs can point at the same type
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 35/100
Línea de trabajo
Empieza siguiendo typecheck_match() y la ruta de creación de tipos a la que se hace referencia en el issue. Reproduce los dos ejemplos de oneof y determina después si la coincidencia compara los tipos subyacentes o reutiliza IDs; la tarea estará terminada cuando los tipos idénticos ya no produzcan un desajuste de tipos.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
As pointed out in https://github.com/nushell/new-nu-parser/pull/50, typecheck_match() looks only at type IDs without actually checking the underlying type. This means that two identical types, such as:
let x: oneof<list<int>, list<string>> = []
let y: oneof<list<int>, list<string>> = []
would have different IDs and result in type mismatch.
Two possible solutions:
- Change
typecheck_match()to actually check the types properly - When creating a type, first check whether it's been created already and reuse its ID if so. This would ensure that different type IDs would point at different types.
- Lenguaje dominante
- Rust
- Estrellas
- 36
- Forks
- 11
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Sin plantilla de pull request
- Leer la guía de contribución
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 nushell/new-nu-parser
-
Suppot parsing bulit-in keywordsAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
nushell/new-nu-parser#64 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
nushell/new-nu-parser#60 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 42/100
nushell/new-nu-parser#59 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
nushell/new-nu-parser#47 · 3 comentarios ·
-
bug performance upstream
Dificultad 3/5 1-2 días Aptitud para principiantes 42/100
nushell/new-nu-parser#42 · 1 reacción ·
Todos los issues de nushell/new-nu-parser
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
DioxusLabs/blitz#1371 ·
Los mantenedores suelen responder en 1 día
-
follow-up
Dificultad 2/5 Medio día Aptitud para principiantes 62/100
carrick-sh/carrick#1494 ·
Los mantenedores suelen responder en 1 día
-
test(hydro_std): track_membership join and leave are untestedPosiblemente ocupada Un pull request vinculado a esta issue está abierto o ya se fusionó. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
hydro-project/hydro#3289 ·
Los mantenedores suelen responder en 1 día
-
diagram-bug good first issue help wanted
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
enhapu-afk/omaspec#4 ·