ghc 7.10.3でゼロ除算時にスタックトレースを生成する方法は？

Question

プログラムが実行され、 "Divide by zero"というメッセージでクラッシュした場合、このエラーがコード内でどこで生成されたかを特定する最良の方法は何ですか？

Answer 1

にはコールスタックがないため、GHCはスタックトレースをサポートしていません。あなたができる最善の方法は、基本モジュールGHC.Stackのシミュレーションされたスタックトレースマシンを使用することです。

GHC 7.8以降では、および7.10.3でこのように利用できる、GHC.Stackは通常のビルドにerrorのように作用するが、SCCのアノテーションを使用しています

errorWithStackTrace :: String -> a 

公開する（例えば、--fprof-autoから）おおよそのスタックトレースを構築しますプロファイルされたビルドでこれをサポートするには、プロファイリングを有効にして再コンパイルする必要があります。カバールを使用している場合は、実行することができます

cabal configure --enable-library-profiling --enable-executable-profiling 

と再構築することができます。

GHC 8.0以降、errorWithStackTraceは廃止され、コールサイト生成のサポートはHasCallStack機材によって提供されています。 GHC.Stackドキュメント、

機能から、今引用

はHasCallStack制約とその呼び出しサイトを要求することができます。例えば、我々はその呼び出しサイトを取得しますerrorの変種として

errorWithCallStack :: HasCallStack => String -> a 

を定義することができます。 callStackでerrorWithCallStackのコールスタックにアクセスできます。我々はerrorWithCallStackを呼び出す場合

errorWithCallStack :: HasCallStack => String -> a 
errorWithCallStack msg = error (msg ++ "n" ++ prettyCallStack callStack) 

したがって、私たちは、エラー・メッセージと一緒にフォーマットされたコールスタックを取得します。

>>> errorWithCallStack "die" 
*** Exception: die 
CallStack (from HasCallStack): 
    errorWithCallStack, called at <interactive>:2:1 in interactive:Ghci1 

（私はmsg ++ "\n"を意味して推測しているが、"n"が書かれているものです。）

あなたがGHC 7.8でいくつかの非常に限られたスタックトレースのサポートを得ることができますが、私はアップグレードをお勧めします可能であればGHC 8へのサポートが大幅に改善されました。いずれにしても、他の言語に慣れているものではありませんが、何もないよりも優れています。