1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00

Test diff equality reflexivity.

This commit is contained in:
Rob Rix 2015-12-11 16:02:08 -05:00
parent f9a72f75e1
commit fa4e5011ac

View File

@ -77,6 +77,10 @@ main = hspec $ do
prop "equality is reflexive" $
\ a -> unTerm a == unTerm (a :: ArbitraryTerm String ())
describe "Diff" $ do
prop "equality is reflexive" $
\ a -> a == (a :: Diff String CategorySet)
describe "annotatedToRows" $ do
it "outputs one row for single-line unchanged leaves" $
annotatedToRows (unchanged "a" "leaf" (Leaf "")) "a" "a" `shouldBe` ([ Row (Line [ span "a" ]) (Line [ span "a" ]) ], (Range 0 1, Range 0 1))