mirror of
https://github.com/github/semantic.git
synced 2024-12-01 09:15:01 +03:00
Don’t expect empty rows to be elided.
This commit is contained in:
parent
bcc7d6d578
commit
e1cc29e032
@ -113,12 +113,6 @@ spec = do
|
||||
|
||||
|
||||
describe "adjoin2" $ do
|
||||
prop "is idempotent for additions of empty rows" $
|
||||
\ a -> adjoin2 (adjoin2 [ a ] mempty) mempty == (adjoin2 [ a ] mempty)
|
||||
|
||||
prop "is identity on top of empty rows" $
|
||||
\ a -> adjoin2 [ mempty ] a == [ a ]
|
||||
|
||||
prop "is identity on top of no rows" $
|
||||
\ a -> adjoin2 [] a == [ a ]
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user