You should not be able to cast to a private record/variant
Les mainteneurs répondent en général sous 1 jour
@tsnobip y travaille déjà.
Depuis le 31/5/2026.
Évaluation
Cette issue n'a pas encore été évaluée.
Description
Today, this compiles without any warning or error (cf playground):
module Foo = {
type t = private {foo: int}
}
module Bar = {
type t = {...Foo.t}
}
let bar = {Bar.foo: 9}
let foo = (bar :> Foo.t)
which doesn't make sense because private records/variants are precisely meant to avoid instantiation.
This should IMO at least raise a warning.
- Langage dominant
- OCaml
- Étoiles
- 7.5k
- Forks
- 485
- Merge moyen
- 1 j 3 h
- PR mergées (30 j)
- 49
Préparer son environnement
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é 5/5 Plus d'une semaine Accessibilité débutants 35/100
rescript-lang/rescript#8659 · 2 commentaires · 2 réactions ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
rescript-lang/rescript#8647 ·
Les mainteneurs répondent en général sous 1 jour
-
Untagged variants: boolean literal/payload overlap is rejected while string, int, float and bigint overlap is allowedPeut-être pris @cknitt l’a pris il y a 20 jours. Ouverte
rescript-lang/rescript#8632 · 1 personne assignée ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 28/100
rescript-lang/rescript#8624 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100
rescript-lang/rescript#8596 · 2 commentaires ·
Les mainteneurs répondent en général sous 1 jour