8

我正在尝试使用 FParsec 解析来自 s-expression 语言的 lisp 样式的注释。在上一个线程中解析单行注释时我得到了一些帮助 - How to convert an FParsec parser to parse whitespace

虽然解决了这个问题，但我仍然需要解析多行注释。这是当前代码 -

/// Read whitespace character as a string.
let spaceAsStr = anyOf whitespaceChars |>> fun chr -> string chr

/// Read a line comment.
let lineComment = pchar lineCommentChar >>. restOfLine true

/// Read a multiline comment.
/// TODO: make multiline comments nest.
let multilineComment =
    between
        (pstring openMultilineCommentStr)
        (pstring closeMultilineCommentStr)
        (charsTillString closeMultilineCommentStr true System.Int32.MaxValue)

/// Read whitespace text.
let whitespace =
    lineComment <|>
    multilineComment <|>
    spaceAsStr

/// Skip any white space characters.
let skipWhitespace = skipMany whitespace

/// Skip at least one white space character.
let skipWhitespace1 = skipMany1 whitespace

不幸的是，multilineComment 解析永远不会成功。由于这是一个组合器，我无法设置断点或分析它为什么不起作用。

任何想法为什么它不起作用？

4

1 回答 1

7

尝试将 bool 参数更改为closeMultilineCommentStrfalse

(charsTillString closeMultilineCommentStr false System.Int32.MaxValue)

否则它将跳过closeMultilineCommentStr字符串。

使其与嵌套注释一起使用

let rec multilineComment o=
    let ign x = charsTillString x false System.Int32.MaxValue
    between
        (pstring openMultilineCommentStr)
        (pstring closeMultilineCommentStr)
        (attempt (ign openMultilineCommentStr >>. multilineComment >>. ign closeMultilineCommentStr) <|> 
        ign closeMultilineCommentStr) <|o
于 2011-12-06T19:27:07.397 回答