4

単純なifステートメントの構造を複製しようとしています。

if (paren) { block } [else ({ block } | rec if (paren)) ]

if（paren）ブロックの場合、IfBlockASTノードを作成します。それ以外の場合は、IfElseBlockノードを再帰的に埋めます。

私はかなりの数の代替構造を試しました

let parse_if = 
    suffixparen .>>. suffixblock |>> IfBlock 
    //>>? attempt (str "else" >>. ifParser) |>> IfElseBlock 
    //<|> preturn IfBlock
    // .>>? attempt (str "else" >>. ifParser) |>> IfElseBlock
    // suffixparen .>>. suffixblock |>> IfBlock 
    // <|> ifParser |>> IfElseBlock

let inlineIf = str_ws "if" >>. parse_if
do ifParserR := inlineIf

提案？

4

1 に答える 1

5

私のGLSLパーサー（Cのような言語です）を見たことがありますか？ http://laurent.le-brun.eu/fsharp/glsl_parse.fs

コード例から、ifステートメントに関連する部分は次のとおりです。

let statement, stmtRef = createParserForwardedToRef()

let ifStatement =
    pipe3 (keyword "if" >>. parenExp) statement (opt (keyword "else" >>. statement))
      (fun cond stmt1 stmt2 -> Ast.If(cond, stmt1, stmt2))

stmtRef := choice [
  simpleStatement
  block
  ifStatement
  forLoop
  //...
  ]

あなたの問題は、attemptの代わりに使用していることだと思いますopt。optパーツがオプションであることを意味しelseます（存在しない場合は取得しますNone）。attemptまったく異なります：

パーサーはパーサーをattempt p適用しpます。pパーサーの状態を変更した後、または致命的なエラーで失敗した場合attempt p、元のパーサーの状態に戻り、致命的でないエラーを報告します。

パーサーが失敗した場合でもエラーは発生しますが、入力は消費されません（または演算子attemptと組み合わせると便利です）。<|>choice

于 2011-06-14T18:01:05.417 に答える