From ed3aace2060792366edeac6cbe3ea415ac6db205 Mon Sep 17 00:00:00 2001 From: Sam Truzjan Date: Mon, 16 Dec 2013 18:52:04 +0400 Subject: Allow to catch fail :: Get a from pure code --- tests/properties.hs | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'tests') diff --git a/tests/properties.hs b/tests/properties.hs index 2e5345f..876b954 100644 --- a/tests/properties.hs +++ b/tests/properties.hs @@ -70,3 +70,9 @@ main = hspec $ do it "generic records" $ property $ prop_bencodable (T :: T FileInfo) + + describe "Get" $ do + it "catchable from pure code" $ do + fromDict (fail "fatal error" :: Get Int) (BDict BE.Nil) + `shouldBe` + Left "fatal error" -- cgit v1.2.3