OCamlプログラムのエラーを追跡するには？

Question

OCamlで書かれたコンパイラを書いています。場合によっては実行エラーが発生するとエラーの行が表示されますが、どのように関数が呼び出されるかなどのコンテキストは表示されません。

デバッグを助けるために関連する変数の実際の値との誤差まで実行のステップを示す方法を誰もが知っていますか？

ところで、私はEmacsをエディタとして使用しています。

Answer 1

Ocamlがコンパイルされます。実行時システムが完全なプログラムのソースコードにアクセスできるように、あなたは翻訳された言語に慣れているようです。コンパイルされたプログラムでは、実行時システムは多くの情報にアクセスできません。たとえば、コンパイル時に変数名が消え、通常のプログラム実行に必要な場合を除いて、すべての関数に渡される引数を追跡するものはありません（オーバーヘッドが大きくなります）。

デバッグシンボル（コンパイラに-gオプションを渡す）でプログラムをコンパイルすると、プログラムが検出されずに例外が発生した場合にスタックトレースを取得できます。関数名といくつかのプログラムの場所を取得しますが、詳細なメモリの内容は取得しません。デバッグ情報を使用してコンパイルすると実行可能ファイルは大きくなりますが、実行時のパフォーマンスは変わりません。プログラムを実行するときにbを含むようにOCAMLRUNPARAM environment variableを設定する必要があります。

ocamlc -g -o foo foo.ml 
export OCAMLRUNPARAM=b 
./foo 

さらに詳しい情報が必要な場合は、デバッガ内でプログラムを実行する必要があります。

Answer 2

このリンクDebugging in Ocaml はあなたの質問にお答えします。