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

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

把它放在括号里

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

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