Untagged variant puts one typed array in another typed array's case
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 新手友好度
- 48/100
- Issue 类型
- 缺陷
- 描述清晰度
- 基本清楚
- 活跃度
- 活跃
- 技术栈
- javascript
- 领域
- compilers
调研方向
Start with rule 5 in compiler/ml/UntaggedVariants.md and review the linked context in #8952 and #8950, which changes how the types are recognized. Reproduce the example with the two typed arrays and trace how their type names are used for run-time case checks. Done means the invalid overlap is rejected or the mismatched value becomes a type error.
由索引模型根据 Issue 内容生成。
描述
An untagged variant with cases for two typed arrays accepts a value of one typed array in the case of the other, and the value then matches the other case.
@unboxed type ta = I8(Int8Array.t) | U8(Uint8Array.t)
let f = v => switch v { | I8(_) => "i8" | U8(_) => "u8" }
Console.log(f(I8(Uint8Array.fromArray([1]))))
Output: u8.
The typed-array types are abbreviations of one type, so I8(Uint8Array…) type-checks. The cases are classified by the type name as written, so the run-time check is instanceof Uint8Array.
Expected: either the cases are distinct types, so that I8(Uint8Array…) is a type error, or the variant is rejected because two cases share one type.
The rule is compiler/ml/UntaggedVariants.md rule 5, in #8952. #8950 changes how these types are recognized.
- 主要语言
- OCaml
- 星标
- 7.5k
- 派生
- 483
- 平均合并
- 21 小时 8 分钟
- 30 天内合并 PR
- 183
环境准备
在浏览器里用你自己的 GitHub 账号启动这个项目的开发容器。
- 没有 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
rescript-lang/rescript 的其他 Issue
-
难度 2/5 1-3 小时 新手友好度 72/100
rescript-lang/rescript#8996 ·
维护者通常 1 天内回复
-
难度 3/5 1-2 天 新手友好度 70/100
rescript-lang/rescript#8997 ·
维护者通常 1 天内回复
-
难度 4/5 1-2 天 新手友好度 55/100
rescript-lang/rescript#8995 ·
维护者通常 1 天内回复
-
难度 3/5 1-2 天 新手友好度 68/100
rescript-lang/rescript#8994 ·
维护者通常 1 天内回复
-
Issues from differential semantic drift analysis (a7721303 to b123b7c3)可能已有人在做 @cknitt 今天认领。 未关闭
rescript-lang/rescript#8980 · 已指派 1 人 ·
维护者通常 1 天内回复
查看 rescript-lang/rescript 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 83/100
维护者通常 1 天内回复
-
bug P2
难度 2/5 1-3 小时 新手友好度 74/100
维护者通常 1 天内回复
-
duplicate
难度 2/5 1-3 小时 新手友好度 72/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 78/100
Quantinuum/tket#2255 ·
维护者通常 1 天内回复
-
REPL and --show-tokens abort with "Token conversion not implemented yet" on .xor., byte and in out未关闭bug low priority tokenizer
难度 2/5 1-3 小时 新手友好度 78/100
维护者通常 1 天内回复