mirror of
https://github.com/github/semantic.git
synced 2024-12-25 16:02:43 +03:00
Correct the tests.
This commit is contained in:
parent
7e0c9aaaea
commit
e36034455c
@ -180,7 +180,9 @@ instance Listable1 f => Listable1 (BindingF f) where
|
||||
|
||||
|
||||
instance Listable1 f => Listable2 (DiffF f) where
|
||||
liftTiers2 annTiers recurTiers = liftCons1 (liftTiers2 annTiers recurTiers) Either \/ liftCons1 (liftTiers2 (liftTiers2 annTiers annTiers) recurTiers) Both \/ liftCons1 (liftTiers2 (liftTiers2 annTiers annTiers) recurTiers) Merge
|
||||
liftTiers2 annTiers recurTiers
|
||||
= liftCons1 (liftTiers (liftTiers2 annTiers recurTiers)) Patch
|
||||
\/ liftCons1 (liftTiers2 (liftTiers2 annTiers annTiers) recurTiers) Merge
|
||||
|
||||
instance (Listable1 f, Listable a) => Listable1 (DiffF f a) where
|
||||
liftTiers = liftTiers2 tiers
|
||||
|
@ -7,6 +7,7 @@ import Data.Functor.Both as Both
|
||||
import Data.Functor.Sum
|
||||
import Diff
|
||||
import Language
|
||||
import Patch
|
||||
import Renderer
|
||||
import Semantic
|
||||
import Semantic.Task
|
||||
@ -33,11 +34,11 @@ spec = parallel $ do
|
||||
describe "diffTermPair" $ do
|
||||
it "produces an Insert when the first blob is missing" $ do
|
||||
result <- runTask (diffTermPair (both (emptyBlob "/foo") (sourceBlob "/foo" Nothing "")) (runBothWith replacing) (pure (termIn () [])))
|
||||
result `shouldBe` Diff (Let mempty (Either (In () (InR []))))
|
||||
result `shouldBe` Diff (Let mempty (Patch (Insert (In () []))))
|
||||
|
||||
it "produces a Delete when the second blob is missing" $ do
|
||||
result <- runTask (diffTermPair (both (sourceBlob "/foo" Nothing "") (emptyBlob "/foo")) (runBothWith replacing) (pure (termIn () [])))
|
||||
result `shouldBe` Diff (Let mempty (Either (In () (InL []))))
|
||||
result `shouldBe` Diff (Let mempty (Patch (Delete (In () []))))
|
||||
|
||||
where
|
||||
methodsBlob = Blob "def foo\nend\n" "ff7bbbe9495f61d9e1e58c597502d152bab1761e" "methods.rb" (Just defaultPlainBlob) (Just Ruby)
|
||||
|
Loading…
Reference in New Issue
Block a user