1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 14:54:16 +03:00
semantic/test/TermSpec.hs

28 lines
746 B
Haskell
Raw Normal View History

module TermSpec where
import Test.Hspec
import Test.Hspec.QuickCheck
import Data.Text.Arbitrary ()
2016-05-26 20:11:34 +03:00
import Prologue
import Data.String
import Category
import Interpreter
import Diff
import ArbitraryTerm
spec :: Spec
spec = parallel $ do
describe "Term" $ do
prop "equality is reflexive" $
\ a -> unTerm a == unTerm (a :: ArbitraryTerm String ())
describe "Diff" $ do
prop "equality is reflexive" $
2016-04-12 11:54:32 +03:00
\ a b -> let diff = interpret comparable diffCost (unTerm a) (unTerm (b :: ArbitraryTerm String CategorySet)) in
diff == diff
prop "equal terms produce identity diffs" $
\ a -> let term = unTerm (a :: ArbitraryTerm String CategorySet) in
2016-04-12 11:54:32 +03:00
diffCost (interpret comparable diffCost term term) == 0