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

🔥 redundant definitions of unListableDiff.

Browse Source
This commit is contained in:
Rob Rix 2017-05-11 09:30:15 -04:00
parent 7227e27428
commit e543a192ef
2 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/DiffSpec.hs
View File

@ -11,6 +11,7 @@ import Info
import Interpreter
import Patch
import Prologue
import SpecHelpers
import Term
import Test.Hspec
import Test.Hspec.LeanCheck
@ -35,6 +36,3 @@ spec = parallel $ do
prop "recovers the after term" $
\ a b -> let diff = stripDiff $ diffTerms (decorate (unListableF a)) (decorate (unListableF b :: SyntaxTerm String '[Category])) in
afterTerm diff `shouldBe` Just (unListableF b)
unListableDiff :: Functor f => ListableF (Free (TermF f (ListableF (Join (,)) annotation))) (Patch (ListableF (Term f) annotation)) -> Diff f annotation
unListableDiff diff = hoistFree (first unListableF) $ fmap unListableF <$> unListableF diff

4
test/SummarySpec.hs
View File

@ -15,6 +15,7 @@ import Interpreter
import Patch
import Prologue
import Source
import SpecHelpers
import Syntax
import Term
import Test.Hspec (Spec, describe, it, parallel)
@ -98,6 +99,3 @@ isIndexedOrFixed' syntax = case syntax of
isBranchNode :: Patch DiffInfo -> Bool
isBranchNode = any isBranchInfo
unListableDiff :: Functor f => ListableF (Free (TermF f (ListableF (Join (,)) annotation))) (Patch (ListableF (Term f) annotation)) -> Diff f annotation
unListableDiff diff = hoistFree (first unListableF) $ fmap unListableF <$> unListableF diff