在已注释类型的不确定类型的对象上查找错误

Question

为什么我会收到"根据此程序点之前的信息查找不确定类型的对象......"的错误.

我已经注释了类型信息.

它突出了代码r.Read().

let rec foldResult myFunc accumulator r:SqlDataReader =
    if r.Read() then
        foldResult myFunc (myFunc 123456 accumulator) r:SqlDataReader
    else
        accumulator

Answer 1

把它放在parens中

let rec foldResult myFunc accumulator (r:SqlDataReader) = ...

否则,您将注释函数的返回类型而不是最终参数类型.