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

Add tests that we recover before/after states through forward/backward permutations.

Browse Source
This commit is contained in:
Rob Rix 2017-09-26 09:50:50 -04:00
parent 01e8e1725f
commit 58338d6af2
1 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
test/DiffSpec.hs
View File

@ -27,11 +27,31 @@ spec = parallel $ do
\ a b -> let diff = diffTerms a b :: Diff ListableSyntax (Record '[]) (Record '[]) in
beforeTerm diff `shouldBe` Just a
prop "recovers the before term from forward permutations" $
\ a b -> let wrap = termIn Nil . inj
c = wrap [a] in
beforeTerm (diffTerms (wrap [a, b, c]) (wrap [c, a, b :: Term ListableSyntax (Record '[])])) `shouldBe` Just (wrap [a, b, c])
prop "recovers the before term from backward permutations" $
\ a b -> let wrap = termIn Nil . inj
c = wrap [a] in
beforeTerm (diffTerms (wrap [a, b, c]) (wrap [b, c, a :: Term ListableSyntax (Record '[])])) `shouldBe` Just (wrap [a, b, c])
describe "afterTerm" $ do
prop "recovers the after term" $
\ a b -> let diff = diffTerms a b :: Diff ListableSyntax (Record '[]) (Record '[]) in
afterTerm diff `shouldBe` Just b
prop "recovers the after term from forward permutations" $
\ a b -> let wrap = termIn Nil . inj
c = wrap [a] in
afterTerm (diffTerms (wrap [a, b, c]) (wrap [c, a, b :: Term ListableSyntax (Record '[])])) `shouldBe` Just (wrap [c, a, b])
prop "recovers the after term from backward permutations" $
\ a b -> let wrap = termIn Nil . inj
c = wrap [a] in
afterTerm (diffTerms (wrap [a, b, c]) (wrap [b, c, a :: Term ListableSyntax (Record '[])])) `shouldBe` Just (wrap [b, c, a])
prop "forward permutations are changes" $
\ a b -> let wrap = termIn Nil . inj
c = wrap [a] in