Rescript编译器格式化器对函数首参数注释的处理问题分析

在Rescript编译器11.0.1版本中，格式化器在处理函数类型声明时存在一个特殊的注释处理问题。这个问题主要影响函数类型声明中第一个参数的注释保留情况。

问题现象

当开发者使用多行格式声明函数类型时，如果第一个参数前有注释，格式化后会丢失这个注释。例如以下代码：

external test: (
  // 这是一个重要注释
  ~x: int,
) => unit = "test"

经过格式化后会变成：

external test: (~x: int) => unit = "test"

而有趣的是，非首参数的注释则会被保留。例如：

external test: (
  int,
  // 这个注释会被保留
  int,
) => unit = "test"

格式化后会变成：

external test: (
  int,
  // 这个注释会被保留
  int,
) => unit = "test"

技术背景

这种选择性保留注释的行为表明格式化器的注释处理逻辑存在特定边界条件的问题。在编译器实现中，注释通常被作为语法树的附加节点处理，而格式化器需要特别考虑如何在不同语法结构间保留这些注释。

对于函数类型声明，Rescript编译器需要处理：

1. 外部函数绑定(external声明)
2. 多参数函数类型
3. 可选参数(~标记)
4. 注释附着位置

影响范围

这个问题影响所有函数类型声明的首参数注释，包括：

• 普通参数
• 可选参数(~标记)
• 外部函数绑定
• 普通函数类型声明

解决方案建议

从技术实现角度，修复这个问题需要：

1. 修改语法树遍历逻辑，确保首参数前的注释被正确识别和保留
2. 更新格式化规则，统一处理所有参数的注释保留策略
3. 添加边界测试用例，覆盖各种参数组合和注释位置

开发者应对措施

在问题修复前，开发者可以采取以下临时方案：

1. 避免在首参数前使用注释
2. 将重要注释移至函数文档位置
3. 使用单行格式声明简单函数类型

这个问题已在后续版本中被识别为回归问题，预计会在下一个版本中得到修复。开发者应关注更新日志以获取修复信息。