時間及び確保量のプロファイルを生成するには、コンパイルされたプログラムを実行する際に以下のいづれかのRTSオプションを渡せば良い。(RTSオプションは通常と同じく+RTS...-RTS
の間になければならない)
-p
または-P
または-pa
:
-p
オプションは標準的な時間プロファイルの報告を生成する。結果は
というファイルに出力される。program
.prof
-P
はより詳細なプロファイル(実際の時間と確保量のデータを含む)を生成する。(あまり使われない)
-pa
オプションは最も詳細な報告を生成する。実際の時間と確保量データに加えて、全てのコスト集約点を含んだものである。
-Vsecs
RTSの時計が進行する時間間隔を設定する。これは時間・確保量プロファイルの標本間隔でもある。デフォルトは0.02秒
-xc
このオプションは、例外が発生するたびにその時点のコスト集約点スタックをランタイムが表示するようにする。これは、悪名高いPrelude.head: empty list
エラーなど、例外の位置をデバッグするのに特に便利である。4.17.7. ハックする者、デバッグする者、及び好奇心過剰な魂のためのRTSオプションを見よ。