1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 15:35:14 +03:00
semantic/test/Data/Diff/Spec.hs

13 lines
299 B
Haskell
Raw Normal View History

{-# LANGUAGE DataKinds #-}
2017-11-27 21:59:44 +03:00
module Data.Diff.Spec where
2016-06-27 20:12:06 +03:00
2017-09-27 19:41:41 +03:00
import Data.Diff
import Data.Functor.Listable (ListableSyntax)
2016-06-27 20:12:06 +03:00
import Test.Hspec
import Test.Hspec.LeanCheck
2016-06-27 20:12:06 +03:00
spec :: Spec
spec = parallel $ do
2016-06-27 20:18:20 +03:00
prop "equality is reflexive" $
\ diff -> diff `shouldBe` (diff :: Diff ListableSyntax () ())