Ezno REPL中的代码格式化错误分析与修复

在Ezno项目的REPL（交互式解释器）功能中，开发者发现了一个关于错误信息显示的代码格式化问题。当用户在REPL环境中输入多行代码时，错误提示会错误地将所有代码行合并显示，导致诊断信息的位置标记不准确。

问题现象

当用户在REPL中输入以下代码时：

// Unused code
const x: 5 = 4 + 2;

系统生成的错误信息会错误地将两行代码合并显示：

1 │ // Unused codeconst x: 5 = 4 + 2;
  │          -   ^^^^^ Type 6 is not assignable to type 5
  │          │    
  │          Variable declared with type 5

技术分析

这个问题源于REPL实现中的两个关键设计：

1. 源代码拼接方式：REPL维护一个单一文件对象，通过不断追加新输入的代码来模拟多行输入。在拼接过程中，没有正确处理换行符的插入。

2. 位置偏移计算：当解析器生成AST（抽象语法树）时，新输入的代码位置信息没有正确考虑已有源代码的长度偏移，导致错误位置标记不准确。

解决方案

项目维护者通过以下方式解决了这个问题：

1. 规范化换行处理：在代码拼接时确保正确插入换行符，使用.strip()方法清理多余的空白字符。

2. 位置信息修正：确保新输入的AST节点位置信息正确偏移，反映其在完整源代码中的实际位置。

技术启示

这个案例展示了REPL实现中的几个重要技术点：

1. 状态维护：交互式环境需要妥善管理会话状态，包括已输入的代码历史。

2. 源代码映射：多轮输入的代码需要建立正确的源代码映射关系，这对错误提示和调试至关重要。

3. 边界条件处理：特别需要注意输入边界处的处理，如换行符、空白字符等。

修复效果

修复后，错误信息能够正确显示：

1 │ const x: 5 = 4 + 2;
  │          -   ^^^^^ Type 6 is not assignable to type 5
  │          │    
  │          Variable declared with type 5

这个修复不仅解决了显示问题，也为REPL功能的稳定性奠定了基础。对于开发者工具而言，准确的错误定位是提高开发效率的关键因素之一。