Type mismatch errors print a private abbreviation without private
Les mainteneurs répondent en général sous 1 jour
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 2/5
- Temps estimé
- 1-3 heures
- Accessibilité débutants
- 72/100
- Type d'issue
- Bug
- Clarté
- Clairement spécifiée
- Activité
- Active
- Stack technique
- ocaml
- Domaine
- compilers
Piste de recherche
Commencez par repérer où le compilateur met en forme les erreurs de non-concordance entre déclarations de types et comment il affiche les déclarations d’interface. Reproduisez l’exemple avec les déclarations .resi et .res, puis examinez la sortie de l’erreur. Le travail est terminé lorsque le message conserve private dans le type de l’interface et que les tests correspondants du compilateur réussissent.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
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.
- Langage dominant
- OCaml
- Étoiles
- 7.5k
- Forks
- 483
- Merge moyen
- 21 h 8 min
- PR mergées (30 j)
- 183
Préparer son environnement
Lance le conteneur de développement du projet dans votre navigateur, avec votre propre compte GitHub.
- Aucun Dockerfile ni fichier Docker Compose
- Propose un modèle de pull request
- Lire le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de rescript-lang/rescript
-
Difficulté 3/5 1-2 jours Accessibilité débutants 70/100
rescript-lang/rescript#8997 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 4/5 1-2 jours Accessibilité débutants 55/100
rescript-lang/rescript#8995 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 3/5 1-2 jours Accessibilité débutants 68/100
rescript-lang/rescript#8994 ·
Les mainteneurs répondent en général sous 1 jour
-
Issues from differential semantic drift analysis (a7721303 to b123b7c3)Peut-être pris @cknitt l’a pris aujourd’hui. Ouverte
rescript-lang/rescript#8980 · 1 personne assignée ·
Les mainteneurs répondent en général sous 1 jour
-
Doc-comment attributes: editor analysis accepts `@ocaml.doc`/`@ns.doc`, genType and the printer do notPeut-être pris @cknitt l’a pris aujourd’hui. Ouverte
Difficulté 3/5 1-2 jours Accessibilité débutants 25/100
rescript-lang/rescript#8978 ·
Les mainteneurs répondent en général sous 1 jour
Toutes les issues de rescript-lang/rescript
Issues similaires
-
Difficulté 2/5 1-3 heures Accessibilité débutants 83/100
Les mainteneurs répondent en général sous 1 jour
-
bug P2
Difficulté 2/5 1-3 heures Accessibilité débutants 74/100
Les mainteneurs répondent en général sous 1 jour
-
duplicate
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
numba/numba#10939 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
REPL and --show-tokens abort with "Token conversion not implemented yet" on .xor., byte and in outOuvertebug low priority tokenizer
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 76/100
WebAssembly/spec#2300 ·
Les mainteneurs répondent en général sous 1 jour