testing - 在任何Haskell测试框架中是否都存在assertException？

我正在使用HUnit编写一些测试，我想断言特定功能在给定特定输入的情况下会引发异常。我找不到提供所需功能的断言函数。任何人都知道的测试框架吗？

最佳答案

尽管HUnit没有任何异常断言，但是编写自己的异常很容易:

import Control.Exception
import Control.Monad
import Test.HUnit

assertException :: (Exception e, Eq e) => e -> IO a -> IO ()
assertException ex action =
    handleJust isWanted (const $ return ()) $ do
        action
        assertFailure $ "Expected exception: " ++ show ex
  where isWanted = guard . (== ex)

testPasses = TestCase $ assertException DivideByZero (evaluate $ 5 `div` 0)
testFails  = TestCase $ assertException DivideByZero (evaluate $ 5 `div` 1)

main = runTestTT $ TestList [ testPasses, testFails ]

您可以根据自己的喜好来做一些更喜欢的事情，例如使用谓词而不是显式比较。

$ ./testex
### Failure in: 1
Expected exception: divide by zero
Cases: 2  Tried: 2  Errors: 0  Failures: 1

请注意，此处的evaluate可能已经过优化(请参阅GHC票证#5129)，但是对于测试IO monad中的代码，这应该可以正常工作。