複数のヘッダー行を解析するfparsec rfc2822

Question

fparsecを使用してRFC 2822を解析しようとしていますが、複数行のヘッダーを処理できません：（次のヘッダーと混同します） 何かヒントはありますか？

let str (s:string) = pstring s 

let stringLiteral = 
    manySatisfy (fun c -> c <> ':' && c <> '\r' && c <> '\n') 

let ws = many (pchar ' ') 

let keyValueSimple = stringLiteral .>>. (ws >>. str ":" >>. ws >>. stringLiteral) .>>. pchar '\n' |>> (fun (a,b) -> a) 

let lineValue = ws >>. stringLiteral .>>. (pchar '\n' .>>. (pchar '\t')) |>> (fun (a,b) -> a) 

let lastValue = ws >>. stringLiteral .>>. (pchar '\n' .>> notFollowedBy (pchar '\t')) |>> (fun (a,b) -> a) 

let keyValueComplex = stringLiteral .>>. (ws >>. pchar ':') .>>. (many lineValue) .>>. lastValue |>> (fun (((f),d),b) -> (f,f))      

let headers = many1 (keyValueComplex) 

let parse (fileName:string) = 
    test headers "Return-Path: <ewrwe@werw.com>\n\twerwe\nDelivered-To: adfasdf@aasdfas.afa.com\n " 

私は期待してます\トン3,1で：配信-TO：adfasdf@aasdfas.afa.com

Answer 1

はそれが私はパーサのために（試みを使用して）バックトラックするために必要なように見える気にしませんnoは常に\ tを期待するが、代わりに次のヘッダを探す。

はkeyValueComplex = stringLiteralてみましょう。>>。 （ws >>。pchar '：'）。 （多く（試行lineValue））。

これで今度は：

が返されます（これは次のようになります）：lastValue | >>（fun（（（g、h））、d）、b）

成功：[（ "リターンパスを"、 "<ewrwe@werw.com> werwe"）; （ "配信先"、 "adfasdf@aasdfas.afa.com"）]