Windows（Cygwin）用のクラカトアとジェシー（why-2.33）でwhy3ide（why3-0.81）をコンパイルしようとしています。表記を表示するために右下のテキストボックスを作成できないことを除いて（常に空です）、すべてがうまくいきました。
画像: https://dl.dropboxusercontent.com/u/39984835/why3ide/error_capture.jpg
このエラーは次のとおりです。
Apply transformation introduce_premises
Why3ide callback raised an exception:
anomaly: End_of_file
Backtrace:
Raised at file "format.ml", line 197, characters 41-52
Called from file "format.ml", line 425, characters 8-33
Called from file "format.ml", line 440, characters 6-24
このエラーをデバッグするにはどうすればよいですか? （私はOCamlの初心者です）
format.ml ファイルはこちら:
cygwin/lib/ocaml/format.ml
Introduction_Premises変換を参照するファイルは次の場所にあります:
why3-0.81/ drivers /
gappa.drv
PS この投稿にwhy3タグとwhy3ideタグを追加しようとしましたが、私の評判はまだ十分ではありません.