assertFailure
IO a
assertEqual
call-stack
removed support for old compilers
add source locations for failing assertions (GHC >= 7.10.2 only)