github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 00:42:33 +03:00
Code Issues Projects Releases Wiki Activity

Migrate the Term property test to leancheck.

Browse Source
This commit is contained in:
Rob Rix 2017-01-07 23:21:22 -05:00
parent 26d0a634ed
commit 4cc81c552b
1 changed files with 7 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
test/TermSpec.hs
View File

@ -1,19 +1,17 @@
{-# LANGUAGE DataKinds #-}
module TermSpec where
import Data.Text.Arbitrary ()
import Category
import Data.Functor.Listable
import Data.String (String)
import Prologue
import Term.Arbitrary
import Term
import Test.Hspec (Spec, describe, parallel)
import Test.Hspec.Expectations.Pretty
import Test.Hspec.QuickCheck
import Test.QuickCheck
import Test.Hspec.LeanCheck
spec :: Spec
spec = parallel $ do
describe "Term" $ do
prop "equality is reflexive" $
\ a -> toTerm a `shouldBe` toTerm (a :: ArbitraryTerm Text ())
describe "ArbitraryTerm" $ do
prop "generates terms of a specific size" . forAll ((arbitrary >>= \ n -> (,) n <$> termOfSize n) `suchThat` ((> 0) . fst)) $
\ (n, term) -> arbitraryTermSize (term :: ArbitraryTerm Text ()) `shouldBe` n
\ a -> unListableF a `shouldBe` (unListableF a :: SyntaxTerm String '[Category])