f# - fparsec キー値パーサーが解析に失敗する

Question

次のようなファイルでキーと値のペアを解析するパーサーを作成する必要があります。

as235 242kj25klj ペア:A=a1|B=b1|C=c1

kjlkjlkjlkj ペア:A=a2|B=b2|C=c2

行にはゴミ、ラベル、キーと値のペアが含まれていることに注意してください。

私が書いた F# コードは次のとおりです。

#r"FParsec.dll"

open FParsec

let parse keys label =
    let pkey = keys |> Seq.map pstring |> choice

    let pvalue = manyCharsTill anyChar (anyOf "|\n")

    let ppair = pkey .>> (skipChar '=') .>>. pvalue

    let ppairSeq = many ppair

    let pline = skipManyTill anyChar (pstring label) 
                >>. ppairSeq .>> newline

    let pfile = many (opt pline) |>> Seq.choose id

    run pfile 
    >> function
    | Success (result, _, _) -> result
    | Failure (errorMsg, _, _) -> failwith errorMsg

"""
as235 242kj25klj Pairs:A=a1|B=b1|C=c1

lkjlkjlkjlkj Pairs:A=a2|B=b2|C=c2



"""
|> parse ["A";"B";"C"] "Pairs:"
|> List.ofSeq
|> printfn "%A"

期待される結果は次のとおりです。

[[("A","a1"); "B","b1"; "C","c1"]
 [("A","a2"); "B","b2"; "C","c2"]]

...しかし、代わりに次のエラーが表示されます。

System.Exception: Error: Error in Ln: 8 Col: 1
Note: The error occurred at the end of the input stream.
Expecting: any char or 'Pairs:'

このパーサーを修正する方法についてのアイデアはありますか?

ありがとう！

更新: ステファンのコメントの後、私はそれを修正しようとしましたが、成功しませんでした。これは、うまくいくと思っていた最後の試みの1つですが、うまくいきません。

let pkey = keys |> Seq.map pstring |> choice

let pvalue = manyCharsTill anyChar (anyOf "|\n")

let ppair = pkey .>> (skipChar '=') .>>. pvalue

let ppairSeq = manyTill ppair newline

let pnonEmptyLine =
    skipManyTill anyChar (pstring label) 
    >>. ppairSeq
    |>> Some

let pemptyLine = spaces >>. newline >>% None

let pline = pemptyLine <|> pnonEmptyLine

let pfile = manyTill pline eof |>> Seq.choose id

エラーメッセージは次のとおりです。

Error in Ln: 2 Col: 5

    as235 242kj25klj Pairs:A=a1|B=b1|C=c1

    ^

Expecting: newline