From e7702fd11de56c5e830fe113c31aa2fbf4d3e7bf Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 15 Mar 2016 10:55:20 -0400 Subject: [PATCH] Add a (failing) test that Both coalesces asymmetrically at right. --- test/Data/Functor/Both/Spec.hs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/test/Data/Functor/Both/Spec.hs b/test/Data/Functor/Both/Spec.hs index a5655d083..8948090b4 100644 --- a/test/Data/Functor/Both/Spec.hs +++ b/test/Data/Functor/Both/Spec.hs @@ -16,3 +16,6 @@ spec = do it "should coalesce asymmetrically at left" $ (both (Line [True]) (Closed [True]) `coalesce` pure (Line [True]) :: [Both (Line Bool)]) `shouldBe` [both (Line [True, True]) (Closed [True]), both (Line []) (Line [True])] + + it "should coalesce asymmetrically at right" $ + (both (Closed [True]) (Line [True]) `coalesce` pure (Line [True]) :: [Both (Line Bool)]) `shouldBe` [both (Closed [True]) (Line [True, True]), both (Line [True]) (Line [])]