秒差距 - “许多”和错误消息

Question

当我尝试解析many p时，我没有收到“expecting p”消息：

> parse (many (char '.') >> eof) "" "a"
Left (line 1, column 1):
unexpected 'a'
expecting end of input

Compare to

> parse (sepBy (char '.') (char ',') >> eof) "" "a"
Left (line 1, column 1):
unexpected 'a'
expecting "." or end of input

which reports “.”正如我所期望的。 many1 p <|>; return [] 也有效。

所有这些函数都接受空输入，那么为什么many没有报告它所期望的内容呢？这是一个错误还是一个功能？

Answer 1

使用 manyTill 会得到更好的错误消息：

> parse (manyTill (char '.') eof) "" "a"
Left (line 1, column 1):
unexpected 'a'
expecting end of input or "."

这只是由于您与 >> 链接的方式所致。如果第一个解析器成功，则将运行第二个解析器。 many 成功，因此尝试 eof 。 eof 失败，因此您只会收到 eof 的错误消息。

使用 manyTill 时，它会尝试两个解析器（首先是第二个解析器），如果两者都失败，则会合并错误消息（这是因为它在内部使用 <|>） 。

但总的来说，使用 定义自己的错误更容易：

> parse (many (char '.') >> eof <?> "lots of dots") "" "a"
Left (line 1, column 1):
unexpected 'a'
expecting lots of dots

Answer 2

从表面上看，行为差异的原因是 many 是 原始解析器 而 sepBy 则构造为 以类似的方式 重新实现 很多。在后一种情况下，“期望...”消息是基于导致解析失败的路径上可用的替代方案构建的；对于many来说，没有这样的选择，它只是无条件地成功。

我不知道我会将其描述为错误还是功能，这只是秒差距工作方式的一个怪癖。错误处理并不是秒差距的真正强项，这似乎并不是我在这方面首先担心的事情。如果它足够困扰您，那么研究其他解析库可能会更好。例如，我听说过有关 uu-parsinglib 的好消息。

Answer 3

来自 黑线鳕< /a>

许多 p 将解析器 p 应用于零或
更多次。返回一个列表
p的返回值。

因此空字符串是many组合器的有效输入。

[补充]

啊，现在我明白你的意思了。当使用<|>（选择组合器）时，会报告期望 a 或 b。 many 的实现不使用 <|>，但 sepBy 在内部使用它。

Answer 4

这是parsec-3.1 中引入的一个错误。如果您使用以前的版本进行测试，您应该会收到如下错误消息：

> parse (many (char '.') >> eof) "" "a"
Left (line 1, column 1):
unexpected 'a'
expecting "." or end of input

至少，这是我修复错误后得到的:-)