Parser rejects `private @attr {…}` and a doc comment before a non-record type
维护者通常 1 天内回复
评估
- 难度
- 4/5
- 预计耗时
- 1-2 天
- 新手友好度
- 35/100
- Issue 类型
- 缺陷
- 描述清晰度
- 描述清楚
- 活跃度
- 停滞
- 技术栈
- ocaml
- 领域
- compilers
调研方向
Start in compiler/syntax/src/res_core.ml at parse_private_eq_or_repr and the type representation dispatch around the cited lines. Trace how private attributes and DocComment tokens reach parse_typ_expr or parse_type_representation, then check nearby parser tests for the corresponding syntax cases. Done means both examples and the listed related type forms parse without changing existing cases; pull request #9115 is already open.
由索引模型根据 Issue 内容生成。
描述
Found by a bug hunt over the 16 commits from eb087382 to cd641cbc.
private followed by an attribute and a record.
type t = private @attr {x: int}
This fails with "An inline record type declaration is only allowed in a variant constructor's declaration or nested inside of a record type declaration". type t = @attr {x: int} (#8919) and type u = private {x: int} both parse. At counts as the start of a type expression (res_grammar.ml#L205), so parse_private_eq_or_repr parses @attr {x: int} with parse_typ_expr (res_core.ml#L5802-L5803). The non-private path has its own At lookahead (res_core.ml#L6043).
A doc comment after = in front of a non-record type.
type z = /** d */ int
This fails with "Did you mean Int instead of int?". {"a": int}, (int, int) and [#A] fail the same way. /** d */ {x: int}, /** d */ A | B and @attr int parse. res_core.ml#L6037 sends DocComment straight to parse_type_representation. The At case at the next arm looks ahead for objects and manifests first.
Both reproduce at b123b7c3.
🤖 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 于 1 天前认领。 未关闭
难度 4/5 1-2 天 新手友好度 52/100
rescript-lang/rescript#9124 ·
维护者通常 1 天内回复
-
难度 3/5 1-2 天 新手友好度 56/100
rescript-lang/rescript#9123 ·
维护者通常 1 天内回复
-
难度 4/5 1-2 天 新手友好度 55/100
rescript-lang/rescript#9122 ·
维护者通常 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 天内回复
查看 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 天内回复