私たちのプロジェクトfsi.AddPrinterでは、印刷タイプに使用しますformula<fol>.
簡単にするためにfsi.AddPrinter sprint_fol_formula、fsxファイルに含めて、ASTの結果を人間が読める形式の結果に変換します。
val inline sprint_fol_formula : formula<fol> -> string
テストケースを作成する過程で、ASTの結果と人間が読める形式の結果の両方を出力します。
ASTの結果は、数式を処理した結果です。単体テストでASTを人間が読める形式に変換するには、を使用しますsprint_fol_formula astResult。
これで、結果がのではformula<fol> listなく、formula<fol>FSIを使用すると正しい結果が出力されますが、sprint_fol_formulaは受け入れられませんformula<fol> list。
違いについて私が結論付けることができる唯一の合理的な答えはfsi.AddPrinter、リストを分解して各タイプを個別に印刷する機能が組み込まれていることです。
これは本当ですか、それとも私は何かを逃しましたか？
これが当てはまる場合、これが文書化されている場所に参照を追加できますか。