Megaparsec解析错误时位置报告不正确的问题咨询

我之前在做类似的多阶段预处理器+解析器项目时，也踩过Megaparsec位置错误的大坑，结合你的两阶段流程，分享几个亲测有效的解决思路：

1. 让Megaparsec绑定Span的原始位置 #

你的第一阶段生成的[Span]已经握有原输入的准确起止位置，核心问题就是要让Megaparsec在解析第二阶段流时，别用它默认的字符累加式位置追踪，而是直接绑定Span里的原始位置：

• 自定义Megaparsec的PosState，每次解析新的Span前，手动把当前解析位置重置为该Span的原始起始位置，而不是让Megaparsec自己算。
• 举个简单的代码例子，你可以这么做：

  parseSpan :: Span -> Parsec e s a
  parseSpan span = do
    let srcPos = initialPos (spanSourceFile span)
        correctedPos = srcPos { 
          posLine = spanStartLine span, 
          posColumn = spanStartCol span 
        }
    setPosition correctedPos
    -- 这里写你解析Span内容的具体逻辑
  

2. 错误发生时手动修正位置 #

如果Megaparsec默认抛出的错误位置还是不对，那就直接在错误处理环节手动替换成Span的原始位置：

• 用Megaparsec的withRecovery函数捕获错误，然后把错误里的位置替换成当前Span的起始位置，再重新抛出修正后的错误。
• 大概的实现思路是这样：

  recoverSpanErrors :: Span -> Parsec e s a -> Parsec e s a
  recoverSpanErrors span p = withRecovery (\err -> do
    let originalPos = spanStartPos span
        correctedErr = setErrorPos originalPos err
    fail (errorBundlePretty (ParseErrorBundle [correctedErr] (initialPos (spanSourceFile span))))
    ) p
  

3. 禁止跨Span的位置累加 #

因为你的Span可能来自不同的include文件或者条件编译块，Megaparsec默认会把整个流当成连续字符串计算位置，这肯定会导致位置偏移。所以一定要保证每个Span的解析是“独立计数”的：

• 别让Megaparsec的位置从一个Span继承到下一个，每次切换Span时都重置位置（就像第一点里说的那样），这样每个Span内部的位置计算都基于它自己的原始起始点，不会被前面的Span干扰。

另外，你提到AST每个元素都有正确的源位置，这说明你的Span到AST的位置映射是没问题的，问题就出在Megaparsec的错误处理环节没跟上。只要把错误位置和Span的原始位置牢牢绑定，就能解决深度include下的位置显示错误问题。

内容的提问来源于stack exchange，提问作者Brian Magnuson