Ist es mit HSpec (oder HUnit) möglich, weitere Informationen zu Assertions hinzuzufügen, die nur im Fehlerfall gedruckt werden?

Question

Ähnlich wie Quick Check unterstützt counterexamples:

property \x -> 
    counterexample ("Foo failed with: " ++ ...) $ 
    foo x 

aber in einer Weise, dass sie mit shouldBe arbeitet, z.B.

failDetails (" details: " ++ baz a) $ 
    a `shouldBe` 2 

Und ich möchte es etwas entlang der Linien von drucken:

expected: 2 
but got: 3 
details: ... 

Answer 1

Ja, es scheint möglich zu sein:

import Control.Exception 
import Test.HUnit.Lang (HUnitFailure(..)) 

failDetails details assert = do 
    assert `catch` \(HUnitFailure loc msg) -> do 
    throw $ HUnitFailure loc $ msg ++ "\n" ++ details 

Wir die Ausnahme von shouldBe geworfen zu fangen, Ändern Sie die Nachricht und wiederholen Sie sie.

Wir können es auch gerne verwenden:

1 `shouldBe` 2 
    $> failDetails "foobar" 

wenn wir definieren:

($>) = flip ($) 
infixl 0 $> 
{-# INLINE ($>) #-}