関数 '%1$ls' のモデル ファイル注釈: %2$ls/%3$ls の注釈 '%4$ls' はヘッダー ファイル注釈 '%5$ls' と重複します。重複した注釈をモデル ファイルから削除してください。(ヘッダー: %6$ls(%7$d))
関数 %1$ls はスコープ内にプロトタイプがありません そのため限定された分析しか実行できません 適切なヘッダーを含めるか プロトタイプを追加してください この警告は パラメーターまたは戻り値の型が関数定義で省略されている場合にも発生します ...
関数 %1$ls は別のパラメーター リストを伴って %2$ls(%3$d) で以前定義されました 分析ツールによっては正しくない結果が生じる場合があります
関数 %1$ls パラメーター '%2$ls' の注釈は '%3$ls' の検証中 関数の宣言と整合性がありません
関数 '%1$ls' %2$ls 注釈 '%3$ls' について 注釈のパラメーター %4$d が %5$ls(%6$d) で検出されたものと一致しません
関数 '%1$ls' のモデル ファイル注釈: %2$ls/%3$ls の注釈 '%4$ls' はヘッダー ファイル注釈 '%5$ls' と重複します 重複した注釈をモデル ファイルから削除してください (ヘッダー: %6$ls(%7$d)) ...
関数 '%1$ls' のモデル ファイル注釈は 既存のモデル ファイル定義と重複します 重複した注釈をモデル ファイルから削除してください
関数 '%1' には 長さが 65536 バイトを超えるブロックが含まれています このブロックはインストルメント化されません 不完全なカバレッジ データが生成される可能性があります
関数 '%s' に渡された文字列が 既定の最大長 %d を超えています この上限をオーバーライドするには '%s' を使用して適切な上限を渡してください
関数 '{0}' の使用方法は 推論される型のいずれとも一致しません この関数の推論される型は次のとおりです {1} この使用時点で必要な関数の型は次のとおりです {2} {3} このエラーの原因は 'let rec' コレクション内 また ...