1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 07:55:12 +03:00
semantic/test/Data/Term/Spec.hs

15 lines
362 B
Haskell
Raw Normal View History

{-# LANGUAGE DataKinds #-}
2018-12-01 03:23:29 +03:00
module Data.Term.Spec (spec) where
import Data.Functor.Listable
2017-09-27 19:37:37 +03:00
import Data.Term
import Test.Hspec (Spec, describe, parallel)
import Test.Hspec.Expectations
import Test.Hspec.LeanCheck
spec :: Spec
spec = parallel $ do
describe "Term" $ do
prop "equality is reflexive" $
\ a -> a `shouldBe` (a :: Term ListableSyntax ())