Monadic assertion combinators: assertEqualM, ...

[agrafix]

A nice set of additional assertion combinators would be something like:

assertEqualM :: (Eq a, Show a) => a -> IO a -> IO () 

[sol]

Hey, hspec-expectations provides shouldReturn which has a similar type.

Despite the name, hspec-expectations is not tied to hspec. It only depends on HUnit and works with any testing framework that supports HUnit.

[sol]

@skogsbaer BTW, do you still use a preprocessor to attach location information to failing test cases?

Recent versions of HUnit provide source locations with failing assertions, and the call-stack package allows you to work with them in a backward compatible manner.

This may be more robust.

[skogsbaer]

@sol with respect to your question regarding location information: see #72