传播错误导致HUnit测试失败

Question

我正在为功能eval :: Wff -> Assignment -> Maybe Bool编写HUnit测试。 Wff是一种自定义数据类型，它是布尔表达式的简化子集的抽象分析树：

data Wff = Var Name
         | Not Wff
         | Or Wff Wff
         deriving (Eq)

而Assignment是关联列表的类型别名，该列表为Wff每个变量提供布尔值：

type Assignment = [(Name, Bool)]

我当前的测试如下：

testEval :: Test
testEval = "Test eval"
        ~: TestList $ zipWith (\e (Just a) -> e ~=? a) expected (eval wff <$> assignments)
    where expected = [True, False]
          assignments = [[('p', True)], [('p', False)]]
          Right wff = parse wffStr
          wffStr = "p"

两项测试均通过。 但是，该测试不是很可靠。 如果我使用wffStr的更复杂的值对其进行wffStr但输入错误，则模式Right wff将失败，因为parse将返回Left String而不是Rigth Wff 。 这会导致测试运行中止，而我宁愿因为一些不好的测试而失败，而其余的则是实际结果。 如何修改当前结构，使错误传播导致测试失败，而不是一起放弃？

Answer 1

我对HUnit一无所知，但是：您能告诉它解析失败时该怎么做吗？

testEval = case parse wffStr of
    Left _ -> {- use HUnit's functions to make a failing test case -}
    Right wff -> "Test eval" ~: TestList $ {- ... -}
    where expected = [True, False]
          {- ... -}