Parser: an attribute or doc comment in front of a `{...` spread type changes how it is read
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
- 难度
- 4/5
- 预计耗时
- 1-2 天
- 新手友好度
- 55/100
- Issue 类型
- 缺陷
- 描述清晰度
- 基本清楚
- 活跃度
- 活跃
- 技术栈
- ocaml
- 领域
- compilers
调研方向
Start by reading the lookahead in res_core.ml and the referenced context in #9115, which keeps the current behaviors. Reproduce the table with bsc -bs-no-builtin-ppx -only-parse -dparsetree to trace how prefixes affect {... classification. Done means prefixes no longer change the classification, both reported syntax errors are fixed, and the compatibility change has a changelog entry.
由索引模型根据 Issue 内容生成。
描述
A type body starting with {... can be a record spread or an object spread. Without a prefix, the parser reads it as a record unless a quoted field follows. With an attribute or a doc comment in front, it takes a different path, so the prefix changes what the declaration means or makes it a syntax error.
Checked on master at 85f31fbb15 with bsc -bs-no-builtin-ppx -only-parse -dparsetree:
type t = … |
no prefix | @attr |
/** d */ |
|---|---|---|---|
{...base, y: int} |
record | syntax error | record |
{...base} |
record | object type | record |
{...base, "y": int} |
object type | object type | syntax error |
The same holds after private, e.g. type t = private @attr {...base, y: int} is a syntax error.
Cause: after an attribute, the lookahead in res_core.ml treats {... as the start of a type expression (object type); after a doc comment, the record path is taken unconditionally. #9115 (for #9106) keeps both behaviours as they are, so nothing master accepts changes there.
Expected: the prefix doesn't matter, and {... is classified as without one. That fixes both syntax errors, but it also turns @attr {...base} from an object type into a record, which changes code that compiles today, so it needs a changelog entry.
🤖 Generated with Claude Code
- 主要语言
- OCaml
- 星标
- 7.5k
- 派生
- 484
- 平均合并
- 20 小时 19 分钟
- 30 天内合并 PR
- 242
环境准备
在浏览器里用你自己的 GitHub 账号启动这个项目的开发容器。
- 没有 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
rescript-lang/rescript 的其他 Issue
-
Record coercion can construct a private record from outside its module可能已有人在做 @cknitt 今天认领。 未关闭
难度 4/5 1-2 天 新手友好度 52/100
rescript-lang/rescript#9124 ·
维护者通常 1 天内回复
-
难度 3/5 1-2 天 新手友好度 56/100
rescript-lang/rescript#9123 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 15/100
rescript-lang/rescript#9109 ·
维护者通常 1 天内回复
-
Formatter: five cases where comments and doc comments are placed wrongly可能已有人在做 @cknitt 于 1 天前认领。 未关闭
难度 4/5 3-5 天 新手友好度 35/100
rescript-lang/rescript#9107 ·
维护者通常 1 天内回复
-
Parser rejects `private @attr {…}` and a doc comment before a non-record type可能已有人在做 @cknitt 于 1 天前认领。 未关闭
难度 4/5 1-2 天 新手友好度 35/100
rescript-lang/rescript#9106 ·
维护者通常 1 天内回复
查看 rescript-lang/rescript 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 78/100
CanadaHonk/porffor#426 ·
-
难度 2/5 1-3 小时 新手友好度 77/100
维护者通常 1 天内回复
-
bug
难度 2/5 1-3 小时 新手友好度 78/100
维护者通常 1 天内回复
-
compiler-rt:asan llvm:transforms
难度 2/5 1-3 小时 新手友好度 72/100
llvm/llvm-project#236682 ·
维护者通常 1 天内回复
-
Lexer: Turbopack magic comments are not classified可能已有人在做 @Aschenbath 今天认领。 未关闭A-lexer
难度 2/5 1-3 小时 新手友好度 85/100
oxc-project/oxc#28320 · 1 条评论 ·
维护者通常 1 天内回复