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

18 lines
442 B
Haskell

{-# LANGUAGE DataKinds #-}
module TermSpec where
import Category
import Data.Functor.Listable
import Data.String (String)
import Prologue
import Term
import Test.Hspec (Spec, describe, parallel)
import Test.Hspec.Expectations.Pretty
import Test.Hspec.LeanCheck
spec :: Spec
spec = parallel $ do
describe "Term" $ do
prop "equality is reflexive" $
\ a -> unListableF a `shouldBe` (unListableF a :: SyntaxTerm String '[Category])