@notUndefined in an interface is not checked against the implementation
維護者通常 1 天內回覆
已經有一個關聯 PR 被合併了。
- #8966 來自 @cknitt —— 已合併
評估
- 難度
- 4/5
- 預估耗時
- 3-5 天
- 新手友好度
- 35/100
- Issue 類型
- 缺陷
- 描述清晰度
- 描述清楚
- 活躍度
- 停滯
- 技術堆疊
- ocaml
- 領域
- compilers
研究方向
Start with compiler/ml/UntaggedVariants.md, rule 13, and the linked discussion in #8952, which describe the current interface inclusion behavior. Then trace inclusion checks for @notUndefined across interfaces, functor arguments, and with type constraints. Done means implementations whose types can hold undefined are rejected while the listed valid implementation types remain accepted; linked pull request #8966 is already open.
由索引模型根據 Issue 內容生成。
描述
An interface can declare an abstract type @notUndefined while its implementation is a type that holds undefined. Interface inclusion does not compare the attribute, so clients unbox option of the type, and Some(None) becomes None.
// M.resi
@notUndefined type t
let none: t
// M.res
type t = option<int>
let none: t = None
// C.res
@inline(never) let id = x => x
let o: option<M.t> = id(Some(M.none))
Console.log2(
"Some(none) is",
switch o {
| Some(_) => "Some"
| None => "None"
},
)
Output on master: Some(none) is None. C builds Some(M.none) as M.none itself, which is undefined.
Expected: the implementation is rejected, because type t = option<int> can hold undefined, which the interface rules out. An implementation satisfies @notUndefined when its own type cannot hold undefined: it is @notUndefined itself, a record, a builtin type other than option/unit, or a type declared with @instanceOf/@typeOf (#8950).
The same holds for functor arguments and with type constraints. compiler/ml/UntaggedVariants.md (rule 13, #8952) states that inclusion does not compare @notUndefined.
- 主要語言
- OCaml
- 星號
- 7.5k
- 分支
- 483
- 平均合併
- 20 小時
- 30 天內合併 PR
- 219
環境準備
在瀏覽器裡用你自己的 GitHub 帳號啟動這個專案的開發容器。
- 沒有 Dockerfile 或 Docker Compose 檔案
- 有 Pull Request 範本
- 閱讀貢獻指南
從這裡開始
- 先讀完整個 Issue，再讀專案的貢獻指南。
- 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
- Fork 儲存庫，在一個分支上完成修改。
- 送出 Pull Request，並在描述裡引用這個 Issue 編號。
rescript-lang/rescript 的其他 Issue
-
難度 2/5 1-3 小時 新手友好度 75/100
rescript-lang/rescript#9037 ·
維護者通常 1 天內回覆
-
難度 5/5 一週以上 新手友好度 12/100
rescript-lang/rescript#9044 · 2 個 reaction ·
維護者通常 1 天內回覆
-
難度 5/5 一週以上 新手友好度 35/100
rescript-lang/rescript#9006 · 1 個 reaction ·
維護者通常 1 天內回覆
-
難度 3/5 1-2 天 新手友好度 70/100
rescript-lang/rescript#8997 ·
維護者通常 1 天內回覆
-
難度 3/5 1-2 天 新手友好度 68/100
rescript-lang/rescript#8994 ·
維護者通常 1 天內回覆
查看 rescript-lang/rescript 的全部 Issue
相似的 Issue
-
enhancement scope:diagnostics scope:syntax
難度 2/5 1-3 小時 新手友好度 77/100
-
code: refactoring good first issue
難度 2/5 1-3 小時 新手友好度 68/100
idris-lang/Idris2#3887 ·
維護者通常 1 天內回覆
-
severity: low
難度 2/5 1-3 小時 新手友好度 72/100
luainkernel/lunatik#2207 ·
維護者通常 1 天內回覆
-
backend:X86 generated by fuzzer llvm:globalisel miscompilation
難度 2/5 1-3 小時 新手友好度 72/100
llvm/llvm-project#235468 · 1 則留言 ·
維護者通常 1 天內回覆
-
area:codegen backend:cuda backend:hip bug direction:input
難度 2/5 1-3 小時 新手友好度 78/100
CrossGL/crosstl#3061 · 1 則留言 ·
維護者通常 1 天內回覆