
11 Jun
2019
11 Jun
'19
5:39 a.m.
Hello Hilco, On Mon, Jun 10, 2019 at 08:44:30PM -0700, Hilco Wijbenga wrote:
f :: Whatever f = error "This should never happen."
spec :: Spec spec = describe "f" $ it "error" $ return f `shouldThrow` anyErrorCall
import qualified Control.Exception as E and E.evaluate tt' f `shouldThrow` anyErrorCall should work. Does this work? -F