delphi – 如何在Parsec中定义多种类型的注释块

我正在尝试学习如何使用Parsec来编写一个Delphi解析器,但是我不得不在定义LanguageDef.

在Delphi中,有两种类型的注释块(* comment *)和{comments}.
但是commentStart& LanguageDef的commentEnd是String,而不是[String],所以我只能放在一个或另一个.

所以,我试图使我自己的whiteSpace解析器,但我不知道我可以实际传递到maketokenParser.

任何帮助将不胜感激.

谢谢

John和Chris帮助我理解并解决了这个问题,但解决方案涉及到替换了大量的maketokenParser提供的解析器,所以不是完全可取的.

如果我能找到一个更好的解决方案,我将再次发布.

解决方法

我读的Text.ParserCombinators.Parsec.Language文件是不能直接使用一个LanguageDef.

我相信你是在正确的轨道上编写你自己的whiteSpace解析器.为了成功使用它,您需要覆盖由maketokenParser生成的whiteSpace解析器.由maketokenParser创建的TokenParser是每个字段包含解析器的记录.我们可以创建一个新的记录副本,其中一个字段替换如下：

-- ask GCHi for the type actual type signature constraints
-- Type sig is approx. fixWhiteSpace :: TokenParser -> Parser -> TokenParser
fixWhiteSpace originalTokenParser myWhiteSpaceParser = 
  originalTokenParser {whiteSpace = myWhiteSpaceParser}