You should not be able to cast to a private record/variant
メンテナーはふだん 1 日以内に返信
@tsnobip がすでに取り組んでいます。
2026年5月31日 から。
評価
この issue はまだ評価されていません。
説明
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.
- 主要言語
- OCaml
- スター
- 7.5k
- フォーク
- 485
- 平均マージ
- 1日 3時間
- マージ済み PR（30日）
- 49
環境構築
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
rescript-lang/rescript のほかの issue
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
rescript-lang/rescript#8659 · コメント 2 件 · リアクション 2 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
rescript-lang/rescript#8647 ·
メンテナーはふだん 1 日以内に返信
-
Untagged variants: boolean literal/payload overlap is rejected while string, int, float and bigint overlap is allowed対応中かも @cknitt が 20 日前に担当しました。 オープン
rescript-lang/rescript#8632 · 担当者 1 名 ·
メンテナーはふだん 1 日以内に返信
-
難易度 5/5 1週間以上 初心者へのやさしさ 28/100
rescript-lang/rescript#8624 ·
メンテナーはふだん 1 日以内に返信
-
難易度 5/5 1週間以上 初心者へのやさしさ 30/100
rescript-lang/rescript#8596 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信