如何使用megaparsec获取AST节点的源码范围？

Question

我正在尝试为我正在解析的某个源文件生成一个源映射，并希望获得每个节点的范围。getSourcePos只给出一个节点的行(src：start position：列)。如何获得其最终位置？

Answer 1

如果你想为每个词位构造一个这样的源跨度：

data Span = Span SourcePos SourcePos

data Spanned a = Spanned Span a

您只需调用getSourcePos两次，一次在标记的开头，一次在标记的结尾，然后再使用任何空格，假设您处于词法分析阶段。我在过去使用过这样的结构，以使其更方便：

-- Augment a parser with a source span.
spanned :: Parser (a, SourcePos) -> Parser (Spanned a)
spanned parser = do
  start <- getSourcePos
  (x, end) <- parser
  pure (Spanned (Span start end) x)

-- Consume whitespace following a lexeme, but record
-- its endpoint as being before the whitespace.
lexeme :: Parser a -> Parser (a, SourcePos)
lexeme parser = (,) <$> parser <*> (getSourcePos <* whitespace)

请记住，根据文档，getSourcePos的成本有点高，如果我没记错的话，这取决于源文件的大小。

如果一个AST是用跨度标注的，你可以计算树的任何部分的跨度，方法是用一个包含它们的并集(或者更具体地说，它们的边界框)的Span的么半群实例在它上面折叠，即a <> b是从(beginRow a, beginCol a) `min` (beginRow b, beginCol b)到(endRow a, endCol a) `max` (endRow b, endCol b)的跨度。