1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 14:54:16 +03:00
semantic/test/DiffSummarySpec.hs

39 lines
1.4 KiB
Haskell
Raw Normal View History

{-# LANGUAGE DataKinds #-}
2016-05-17 20:09:14 +03:00
module DiffSummarySpec where
2016-05-16 21:43:53 +03:00
import Prologue
import Data.Record
import Data.String
2016-05-16 21:43:53 +03:00
import Test.Hspec
2016-05-17 22:59:07 +03:00
import Diff
import Syntax
2016-05-17 20:09:14 +03:00
import Patch
2016-05-17 22:59:07 +03:00
import Category
2016-05-16 21:43:53 +03:00
import DiffSummary
2016-05-17 20:09:14 +03:00
arrayInfo :: Record '[Category]
arrayInfo = ArrayLiteral .: RNil
2016-05-17 22:59:07 +03:00
literalInfo :: Record '[Category]
literalInfo = StringLiteral .: RNil
2016-05-17 22:59:07 +03:00
testDiff :: Diff String (Record '[Category])
2016-05-17 22:59:07 +03:00
testDiff = free $ Free (pure arrayInfo :< Indexed [ free $ Pure (Insert (cofree $ literalInfo :< Leaf "a")) ])
2016-05-31 23:15:40 +03:00
testSummary :: DiffSummary DiffInfo
2016-05-23 20:57:04 +03:00
testSummary = DiffSummary { patch = Insert (DiffInfo "string" (Just "a")), parentAnnotations = [] }
2016-05-17 20:09:14 +03:00
2016-05-31 23:15:40 +03:00
replacementSummary :: DiffSummary DiffInfo
2016-05-23 20:57:04 +03:00
replacementSummary = DiffSummary { patch = Replace (DiffInfo "string" (Just "a")) (DiffInfo "symbol" (Just "b")), parentAnnotations = [ (DiffInfo "array" (Just "switch {}")) ] }
2016-05-18 17:24:08 +03:00
2016-05-17 20:09:14 +03:00
spec :: Spec
spec = parallel $ do
2016-05-17 22:59:07 +03:00
describe "diffSummary" $ do
it "outputs a diff summary" $ do
2016-05-23 20:57:04 +03:00
diffSummary testDiff `shouldBe` [ DiffSummary { patch = Insert (DiffInfo "string" (Just "a")), parentAnnotations = [ DiffInfo "array" Nothing ] } ]
2016-05-17 20:09:14 +03:00
describe "show" $ do
it "should print adds" $
show testSummary `shouldBe` ("Added the 'a' string" :: String)
2016-05-18 17:24:08 +03:00
it "prints a replacement" $ do
show replacementSummary `shouldBe` ("Replaced the 'a' string with the 'b' symbol in the array context" :: String)