使用 FParsec 编写的单元测试解析器

问：

我想为我使用 FParsec 编写的解析器生成的抽象语法树编写单元测试。

例如，给定解析器

 open FParsec

 type FooValue = FooValue of int
 let foo: Parser<string,unit> = pstring "foo" 
 let fooValue = pint32
 let p = foo >>. spaces >>. fooValue |>> FooValue.FooValue
 

到目前为止，我发现的唯一测试方法是写作

let resultSuccess = run p "foo 23"
let resultFailure = run p "foo noNumber"

printfn "%O" resultSuccess
printfn "%O" resultFailure

并检查我的 F# 程序是否输出

Success: FooValue 23
Failure:
Error in Ln: 1 Col: 5
foo noNumber
    ^
Expecting: integer number (32-bit, signed)

相反，我更愿意编写一些这样的单元测试：

open FParsec
open Microsoft.VisualStudio.TestTools.UnitTesting

[<TestClass>]
type TestMyParser () =

    [<TestMethod>]
    member this.TestPSucceeds () =
        let actual = run p "foo 23"
        let expected = ......? 
        Assert.AreEqual(actual, expected);

    [<TestMethod>]
    member this.TestPFails () =
        let actual = run p "foo noNumber"
        let expected = ......? 
        Assert.AreEqual(actual, expected);

如您所见，我不知道如何为 FParsec 的抽象语法树的期望值构造有效函数，因此我可以以某种方式将它们与我运行的每个测试的实际结果进行比较。

编辑：如果我能以某种方式将实际结果序列化为字符串并将它们与预期字符串进行比较，那也会对我有所帮助（并且可能会大大简化更复杂的 AST 的比较）。