了解Parsec中的SourceName

Question

我有一个关于Parsec中parse函数中SourceName含义的问题。 似乎我阅读的所有书籍/博客/教程都跳过它的内容并使用"stdin" ， "(stdin)"或任意字符串，如"test parser" 。 是什么区别指定为SourceName ？

我试着阅读Parsec的源代码 ，似乎它用于创建一个位置。 但是为什么它的来源是什么（确实是一个String ）。 听起来我在大多数情况下不需要担心它。

提前致谢！

Answer 1

在Parsec中， SourceName是一个用于生成错误消息的String 。 在REPL中，这不是很重要：

λ> parse expression "<stdin>" ")"
Left "<stdin>" (line 1, column 1):
unexpected ")"
expecting expression

如果我们使用"foo"而不是"<stdin>" ，如果它看起来像这样：

Left "foo" (line 1, column 1):
unexpected ")"
expecting expression

在编写将多个文件作为输入的程序（如编译器或解释器）时，这非常有用。 例如，在我的解释器中，我有以下功能：

runFile :: FilePath -> IO ()
runFile path = do code  <- readFile path
                  start <- prelude
                  evalString path start code >>= putStrLn

在这里，我将path - 您正在运行的文件的path - 传递到解析表达式的函数中。 这样，错误消息将告诉您哪个文件具有解析错误以及行号。

λ> runFile "/Users/tikhon/tmp/foo.tpl"
Error: "/Users/tikhon/tmp/foo.tpl" (line 1, column 1):
unexpected ')'
expecting expression or end of input!