From 963887a1153521cb0c147baf725188d2d3b51e3f Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Fri, 18 Dec 2015 13:27:03 -0500
Subject: [PATCH] =?UTF-8?q?Test=20the=20property=20that=20we=20don?=
 =?UTF-8?q?=E2=80=99t=20promote=20through=20empty=20lines=20onto=20closed?=
 =?UTF-8?q?=20lines.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This is falsified by empty row elision.
---
 test/SplitSpec.hs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/test/SplitSpec.hs b/test/SplitSpec.hs
index f96e732cd..b6e07646c 100644
--- a/test/SplitSpec.hs
+++ b/test/SplitSpec.hs
@@ -131,6 +131,10 @@ spec = do
       forAll ((arbitrary `suchThat` isClosed) >>= \ a -> ((,) a) <$> (arbitrary `suchThat` isClosed)) $
         \ (a, b) -> adjoin2 [ a ] b `shouldBe` [ b, a ]
 
+    prop "does not promote elements through empty lines onto closed lines" $
+      forAll ((arbitrary `suchThat` isClosed) >>= \ a -> ((,) a) <$> (arbitrary `suchThat` isClosed)) $
+        \ (a, b) -> adjoin2 [ Row EmptyLine EmptyLine, a ] b `shouldBe` [ b, Row EmptyLine EmptyLine, a ]
+
     it "does not promote elements through empty lines onto complete lines" $
       adjoin2 [ rightRowText "b", leftRow [ Break ] ] (leftRowText "a") `shouldBe`
               [ leftRowText "a", rightRowText "b", leftRow [ Break ] ]