エラー....すでに注釈付きの型に

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) = ... 

でそれを入れてください。