使用Haskell Parsec自定义whiteSpace

Question

我想使用Parsec的makeTokenParser来构建我的解析器，但是我想使用我自己的whiteSpace定义。执行以下操作将whiteSpace替换为我的定义，但所有lexeme解析器仍然使用旧的定义(例如，P.identifier lexer将使用旧的whiteSpace)。

...
lexer :: P.TokenParser ()
lexer      = l { P.whiteSpace = myWhiteSpace }
   where l = P.makeTokenParser myLanguageDef
...

看一下makeTokenParser的代码，我想我明白为什么它是这样工作的了。我想知道是否有任何解决方法可以避免完全复制makeTokenParser的代码

Answer 1

可悲的是，我不认为有办法。makeTokenParser中使用的本地定义递归地引用它们自己，因此，正如您已经注意到的，lexeme使用在那里定义的whiteSpace，而不是您在lexer对象中替换的whiteSpace记录成员。

这段代码非常有趣，因为它使用与makeTokenParser中的本地函数以及TokenParser构造函数的记录成员相同的名称。它们实际上是完全不同的实体。