4

我有一个功能：

unify :: [Constraint] -> [Substitution]

在某些情况下，它会抛出error函数异常：

error "Circular constraint"

我正在使用Test.HUnit单元测试，我想制作一个测试用例，断言这些错误是在某些输入上引发的。我发现了这个，它提供了一种测试异常的方法，它是 的实例Eq，但error似乎给出了一个ErrorCall异常，它不是 的实例Eq，所以我得到了错误：

No instance for (Eq ErrorCall)
  arising from a use of `assertException'

如何编写一个TestCase断言error被调用并（最好）检查消息的断言？

4

1 回答 1

6

理想情况下，我会将您的功能重构为

unify' :: [Constraint] -> Maybe [Substitution]
unify' = -- your original function, but return Nothing instead of calling error,
         -- and return Just x when your original function would return x

unify = fromMaybe (error "Circular constraint") . unify'

然后我会 testunify'而不是 testing unify。

如果有不止一个可能的错误消息，我会改成这样重构它：

unify' :: [Constraint] -> Either String [Substitution]
    -- and return Left foo instead of calling error foo

unify = either error id . unify'

（顺便说一句，如果这是其他程序员将使用的库，他们中的一些人更愿意调用unify'而不是偏函数unify。）

如果你不能重构你的代码，我会修改你链接到的代码，替换assertException为：

assertErrorCall :: String -> IO a -> IO ()
assertErrorCall desiredErrorMessage action
    = handleJust isWanted (const $ return ()) $ do
        action
        assertFailure $ "Expected exception: " ++ desiredErrorMessage
  where isWanted (ErrorCall actualErrorMessage)
            = guard $ actualErrorMessage == desiredErrorMessage
于 2012-11-29T17:33:48.337 回答