semantic/test/DiffSpec.hs

{-# LANGUAGE DataKinds #-}
module DiffSpec 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 '[]))
Move some tests out of TermSpec into Diff.Spec. 2016-06-27 20:15:03 +03:00			`{-# LANGUAGE DataKinds #-}`
Move Diff and Source Specs 2017-03-01 02:35:43 +03:00			`module DiffSpec where`
Stub in a spec for Diff. 2016-06-27 20:12:06 +03:00
Rename the Diff module to Data.Diff. 2017-09-27 19:41:41 +03:00			`import Data.Diff`
Move the listable Syntax synonym into Data.Functor.Listable. 2017-09-26 16:48:59 +03:00			`import Data.Functor.Listable (ListableSyntax)`
:fire: the SyntaxTerm, SyntaxTermF, & SyntaxDiff type synonyms. 2017-09-14 02:14:01 +03:00			`import Data.Record`
Stub in a spec for Diff. 2016-06-27 20:12:06 +03:00			`import Test.Hspec`
Migrate the Diff property tests to leancheck. 2017-01-08 07:17:05 +03:00			`import Test.Hspec.LeanCheck`
Stub in a spec for Diff. 2016-06-27 20:12:06 +03:00
			`spec :: Spec`
			`spec = parallel $ do`
Move some tests around. 2016-06-27 20:18:20 +03:00			`prop "equality is reflexive" $`
Move the listable Syntax synonym into Data.Functor.Listable. 2017-09-26 16:48:59 +03:00			\ diff -> diff `shouldBe` (diff :: Diff ListableSyntax (Record '[]) (Record '[]))