如何根据 FParsec 解析器中的可变变量添加 if else ？

问：

我正在尝试将错误恢复添加到使用括号中的逗号分隔序列的 FParsec 解析器，例如“（a，b，c）”。

我遇到了以下问题：给定两个输入“（）”和“（a，b，）”，第一个在我的语法中是正确的，但第二个不是（因为它没有正确结束序列）。虽然我设法在第二个用例中恢复并在那里生成适当的诊断，但我的错误恢复机制在第一种情况下仍然产生了我想避免的误报诊断。

为了区分这两种情况，我的想法是在解析结束 “）” 时“简单地检查”我的序列是否真的是空的。

为了实现这一点，我尝试添加一个可变计数器，并在解析序列时递增它。

我遇到了一个非常奇怪的行为：递增有效，但检查值是否为零或大于零则无效。

经过数小时的调试并试图了解出了什么问题，我编写了一个简单的程序来重现这种奇怪的行为。

open FParsec

type MyClass() = 
    let mutable contextCounter = 0
    member this.Increment() =
        contextCounter <- contextCounter + 1

    member this.Reset() =
        contextCounter <- 0

    member this.GetCounter() = contextCounter

    member this.Print(s:string) =
        printf "\ncurrent value is %i, %s after checking if equals 0" contextCounter s

let x = pchar 'x'  
let y = pchar 'y' 
let z = pchar 'z'
let c = skipChar ','
let ad = MyClass()
let choicexyz (ad:MyClass) = 
    if ad.GetCounter()=0 then
        choice [x;y;z] >>= fun result -> 
            ad.Print("in if block")
            ad.Increment() 
            preturn result
    else
        z >>= fun result -> 
        ad.Print("in else block")
        ad.Increment() 
        preturn result

let parserSepBy (ad:MyClass) = 
    ad.Reset()
    sepBy (choicexyz ad) c

let inputSepBy = "x,x,y,y,z,z"
let resultSepBy = run (parserSepBy ad) inputSepBy
printf "\n%O" resultSepBy

该程序省略了所有不必要的内容，例如左括号和右括号，错误恢复，诊断等。但它再现了我想展示的内容。输出为

current value is 0, in if block after checking if equals 0
current value is 1, in if block after checking if equals 0
current value is 2, in if block after checking if equals 0
current value is 3, in if block after checking if equals 0
current value is 4, in if block after checking if equals 0
current value is 5, in if block after checking if equals 0
Success: ['x'; 'x'; 'y'; 'y'; 'z'; 'z']

为什么增量有效，但检查值是否等于 0 不起作用？