Type mismatch errors print a private abbreviation without private
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 2/5
- Tiempo estimado
- 1-3 horas
- Aptitud para principiantes
- 72/100
- Tipo de issue
- Error
- Claridad
- Bien especificado
- Estado de actividad
- Activo
- Stack tecnológico
- ocaml
- Área
- compilers
Línea de trabajo
Empieza por rastrear dónde el compilador da formato a los errores de incompatibilidad entre declaraciones de tipos y cómo imprime las declaraciones de interfaz. Reproduce el ejemplo con las declaraciones .resi y .res, y luego revisa la salida del error. Se considera terminado cuando el mensaje conserva private en el tipo de interfaz y pasan las pruebas correspondientes del compilador.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
When an implementation does not match a private abbreviation in its interface, the error message prints the interface declaration without private.
// M.resi
type a
type t = private a
// M.res
type a
type b
type t = b
Type declarations do not match: type t = b is not included in type t = a
Expected: ... is not included in type t = private a. As printed, the interface looks like a public alias, which hides why t cannot be coerced from a, the very property the declaration states.
- Lenguaje dominante
- OCaml
- Estrellas
- 7.5k
- Forks
- 483
- Merge medio
- 21 h 8 min
- PR fusionados (30 d)
- 183
Preparar el entorno
Inicia el contenedor de desarrollo del proyecto en tu navegador, con tu propia cuenta de GitHub.
- Sin Dockerfile ni archivo de Docker Compose
- Tiene una 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 rescript-lang/rescript
-
Dificultad 3/5 1-2 días Aptitud para principiantes 70/100
rescript-lang/rescript#8997 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 4/5 1-2 días Aptitud para principiantes 55/100
rescript-lang/rescript#8995 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 3/5 1-2 días Aptitud para principiantes 68/100
rescript-lang/rescript#8994 ·
Los mantenedores suelen responder en 1 día
-
Issues from differential semantic drift analysis (a7721303 to b123b7c3)Posiblemente ocupada @cknitt la tomó hoy. Abierto
rescript-lang/rescript#8980 · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Doc-comment attributes: editor analysis accepts `@ocaml.doc`/`@ns.doc`, genType and the printer do notPosiblemente ocupada @cknitt la tomó hoy. Abierto
Dificultad 3/5 1-2 días Aptitud para principiantes 25/100
rescript-lang/rescript#8978 ·
Los mantenedores suelen responder en 1 día
Todos los issues de rescript-lang/rescript
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 83/100
Los mantenedores suelen responder en 1 día
-
bug P2
Dificultad 2/5 1-3 horas Aptitud para principiantes 74/100
Los mantenedores suelen responder en 1 día
-
duplicate
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
numba/numba#10939 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Quantinuum/tket#2255 ·
Los mantenedores suelen responder en 1 día
-
REPL and --show-tokens abort with "Token conversion not implemented yet" on .xor., byte and in outAbiertobug low priority tokenizer
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Los mantenedores suelen responder en 1 día