github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Code Issues Projects Releases Wiki Activity

Reformat.

Browse Source
This commit is contained in:
Rob Rix 2015-12-18 13:04:52 -05:00
parent 595293e1a5
commit 6ffe3719d0
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
test/SplitSpec.hs
View File

@ -122,9 +122,10 @@ spec = do
prop "is identity on top of no rows" $ prop "is identity on top of no rows" $
\ a -> adjoin2 [] a == [ a ] \ a -> adjoin2 [] a == [ a ]
prop "appends onto open rows" $ forAll ((arbitrary `suchThat` isOpen) >>= \ a -> ((,) a) <$> (arbitrary `suchThat` isOpen)) $ prop "appends onto open rows" $
\ (a@(Row (Line ac1 as1) (Line bc1 bs1)), b@(Row (Line ac2 as2) (Line bc2 bs2))) -> forAll ((arbitrary `suchThat` isOpen) >>= \ a -> ((,) a) <$> (arbitrary `suchThat` isOpen)) $
adjoin2 [ a ] b `shouldBe` [ Row (Line (ac1 || ac2) $ as1 ++ as2) (Line (bc1 || bc2) $ bs1 ++ bs2) ] \ (a@(Row (Line ac1 as1) (Line bc1 bs1)), b@(Row (Line ac2 as2) (Line bc2 bs2))) ->
adjoin2 [ a ] b `shouldBe` [ Row (Line (ac1 || ac2) $ as1 ++ as2) (Line (bc1 || bc2) $ bs1 ++ bs2) ]
it "appends elements onto incomplete lines" $ it "appends elements onto incomplete lines" $
adjoin2 [ rightRowText "[" ] (rightRowText "a") `shouldBe` adjoin2 [ rightRowText "[" ] (rightRowText "a") `shouldBe`