Bring out the Generic Maybe bug in tests

nikita-volkov · Dec 21, 2012 · 3dc1c44 · 3dc1c44
1 parent cc5526f
commit 3dc1c44
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tests/Properties.hs b/tests/Properties.hs
@@ -143,12 +143,14 @@ tests = [
     , testProperty "Double" $ genericFrom (1::Double)
     , testProperty "Int" $ genericFrom (1::Int)
     , testProperty "Foo" $ genericFrom (undefined::Foo)
+    , testProperty "Maybe" $ genericFrom (Just 1 :: Maybe Int)
     ],
   testGroup "genericTo" [
       testProperty "Bool" $ genericTo True
     , testProperty "Double" $ genericTo (1::Double)
     , testProperty "Int" $ genericTo (1::Int)
     , testProperty "Foo" $ genericTo (undefined::Foo)
+    , testProperty "Maybe" $ genericTo (Just 1 :: Maybe Int)
     ],
   testGroup "roundTrip" [
       testProperty "Bool" $ roundTripEq True