OTAWAの一部としてOrangeをコンパイルしようとしていますが、ファイルwcee.mlに 以下のエラーが表示されますError: Unbound value IMap.print_ordered。エラーの理由は以下のスニペットです。
let glb = common
(** Least upper bound. *)
let lub = IMap.combine max
(** Pretty printer. *)
let print = IMap.print CostItem.print Format.pp_print_int
(** Full printing. *)
let print_complete = IMap.print_ordered ~first:"" ~firstbind:">> " ~last:"" ~sep:"@\n" CostItem.print CostItem.known Format.pp_print_int
end
その理由は何ですか？
TL、DR：一見したところ、プロジェクトは現在FTBFSだけである可能性があります（ソースからのビルドに失敗します）？とにかく、私はそれを自分でコンパイルしようとはしませんでしたが、OTAWAを維持しているTRACES研究チームに連絡して尋ねたいと思うかもしれません。（例：Pr.CASSÉにメールを送信…）
詳細：
この記事はインターネットから収集されたものであり、転載の際にはソースを示してください。
侵害の場合は、連絡してください[email protected]
コメントを追加