Record coercion can construct a private record from outside its module
Les mainteneurs répondent en général sous 1 jour
Évaluation
- Difficulté
- 4/5
- Temps estimé
- 1-2 jours
- Accessibilité débutants
- 52/100
- Type d'issue
- Bug
- Clarté
- Clairement spécifiée
- Activité
- Active
- Stack technique
- ocaml
- Domaine
- compilers
Piste de recherche
Start by tracing the record coercion type-checking path in the ReScript compiler and compare it with the handling of mutable from #9063, fixed by #9086. Check both examples in this issue: coercion from a plain record and from another module’s private record should be rejected, while coercion out to a plain record should remain allowed. Done means those cases behave as expected and the compiler’s relevant regression tests pass.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
A record coerces structurally into a private record with the same fields, so code outside a module can construct values of that module's private record type, although private means they can only be built inside it.
From a plain record:
module Blob: {
type t = private {size: float}
} = {
type t = {size: float}
}
type plain = {size: float}
let fake = (p: plain): Blob.t => (p :> Blob.t) // compiles: `return p`
From another module's private record with the same fields, which that module constructs freely:
module Fake: {
type t = private {size: float}
let make: float => t
} = {
type t = {size: float}
let make = size => {size: size}
}
let forged = (Fake.make(1.) :> Blob.t) // compiles: `{size: 1}`
Expected: a coercion into a private record type is refused, unless the source is that same type. Coercing out of a private record, into a plain record with the same fields, stays allowed: reading a private record is fine.
This is a prerequisite for @instanceOf on private records (#9058): there, a forged value would be dispatched as an instance of a class it isn't. It is the same family as #9063 (fixed by #9086), where record coercion ignored mutable.
Found on master 3562ce6b80.
- Langage dominant
- OCaml
- Étoiles
- 7.5k
- Forks
- 484
- Merge moyen
- 20 h 19 min
- PR mergées (30 j)
- 242
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 56/100
rescript-lang/rescript#9123 ·
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#9122 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 15/100
rescript-lang/rescript#9109 ·
Les mainteneurs répondent en général sous 1 jour
-
Formatter: five cases where comments and doc comments are placed wronglyPeut-être pris @cknitt l’a pris il y a 1 jour. Ouverte
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
rescript-lang/rescript#9107 ·
Les mainteneurs répondent en général sous 1 jour
-
Parser rejects `private @attr {…}` and a doc comment before a non-record typePeut-être pris @cknitt l’a pris il y a 1 jour. Ouverte
Difficulté 4/5 1-2 jours Accessibilité débutants 35/100
rescript-lang/rescript#9106 ·
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 78/100
CanadaHonk/porffor#426 ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 77/100
Les mainteneurs répondent en général sous 1 jour
-
[MLIR][TOSA] Assertion in verifyBlockScaledTensorType when a tosa op result type is not a tensorOuvertecrash mlir:tosa
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
llvm/llvm-project#236561 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
Lexer: Turbopack magic comments are not classifiedPeut-être pris @Aschenbath l’a pris aujourd’hui. OuverteA-lexer
Difficulté 2/5 1-3 heures Accessibilité débutants 85/100
oxc-project/oxc#28320 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
[python] Python library model: str(None) is modelled as an unconstrained string instead of "None"Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
Les mainteneurs répondent en général sous 1 jour