1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
semantic/test/Data/Diff/Spec.hs
2017-11-27 13:59:44 -05:00

14 lines
338 B
Haskell

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