github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity

Test that equality is reflexive.

Browse Source
This commit is contained in:
Rob Rix 2015-12-10 23:55:31 -05:00
parent aa9f1d6b23
commit 9b2fda2a49
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/Spec.hs
View File

@ -20,6 +20,10 @@ instance Arbitrary ArbitraryTerm where
main :: IO ()
main = hspec $ do
describe "Term" $ do
it "equality is reflexive" $ property $
\ a b -> a == (b :: ArbitraryTerm)
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))