1
1
mirror of https://github.com/github/semantic.git synced 2024-12-21 13:51:44 +03:00
semantic/test/Data/Diff/Spec.hs
2018-09-25 11:20:57 -05:00

13 lines
299 B
Haskell

{-# LANGUAGE DataKinds #-}
module Data.Diff.Spec where
import Data.Diff
import Data.Functor.Listable (ListableSyntax)
import Test.Hspec
import Test.Hspec.LeanCheck
spec :: Spec
spec = parallel $ do
prop "equality is reflexive" $
\ diff -> diff `shouldBe` (diff :: Diff ListableSyntax () ())