例外のユニットテスト

Question

Test.HUnitでコールが例外をスローするかどうかをチェックするテストケースを記述できますか？

印刷するメッセージに関係なく、エラーをスローするかどうかのみを気にします。

Answer 1

これはHUnitに固有のものではないが、あなたはIO値はスローかどうかを確認する関数を書くことができます。

λ> :set -XScopedTypeVariables 
λ> import Control.Exception 
λ> import Data.Functor 
λ> import System.Environment 

λ> throws io = catch (io $> False) $ \(e :: SomeException) -> pure True 
throws :: IO a -> IO Bool 

λ> sequence $ throws <$> [ getEnv "HOME", getEnv "whatever", error "a" ] 
[False,True,True] 

Answer 2

「例外」であなたがExceptionを意味し、それはいくつかにスローされている場合IOコードの場合は、を使用できます。しかし、error "Something bad happened"のようなものを純粋なコードで捕まえることを意味するなら、あなたは不運です。 Haskellの2010年報告書から

ghci> import Control.Exception 
ghci> catch (error "Eek") (\(ErrorCallWithLocation msg _) -> putStrLn msg) 
Eek 

---

section 3：：⊥（「ボトムで示される式の評価中

エラー、あなたがIOで取り扱いをしても構わないと思っているなら、あなたはより多くのオプションを持っています"）は、非終了からのHaskellプログラムによって区別できません。ここで

それについて考えるための別の方法です：私たちは⊥（のようなerror "Help!"）の値を評価しようとする瞬間が、この値はを作成したが、が必要な最初だった場合にのみ、だったときにはない依存していることに気づきます（Haskellは非厳密なので）。この種のエラーを捕捉するメカニズムは、参照透過性を壊します。