1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00

🔥 a redundant import.

This commit is contained in:
Rob Rix 2016-06-27 13:12:37 -04:00
parent b4107426de
commit ad4a34ebb0

View File

@ -1,7 +1,6 @@
{-# LANGUAGE DataKinds #-} {-# LANGUAGE DataKinds #-}
module TermSpec where module TermSpec where
import ArbitraryTerm
import Category import Category
import Data.String import Data.String
import Data.Text.Arbitrary () import Data.Text.Arbitrary ()
@ -22,11 +21,11 @@ spec = parallel $ do
prop "equality is reflexive" $ prop "equality is reflexive" $
\ a -> toTerm a == toTerm (a :: ArbitraryTerm String ()) \ a -> toTerm a == toTerm (a :: ArbitraryTerm String ())
describe "ArbitraryTerm" $ describe "ArbitraryTerm" $ do
prop "generates terms of a specific size" $ forAll ((arbitrary >>= \ n -> (,) n <$> termOfSize n) `suchThat` ((> 0) . fst)) $ prop "generates terms of a specific size" $ forAll ((arbitrary >>= \ n -> (,) n <$> termOfSize n) `suchThat` ((> 0) . fst)) $
\ (n, term) -> arbitraryTermSize (term :: ArbitraryTerm String ()) `shouldBe` n \ (n, term) -> arbitraryTermSize (term :: ArbitraryTerm String ()) `shouldBe` n
describe "ArbitraryDiff" $ describe "ArbitraryDiff" $ do
prop "generates diffs of a specific size" $ forAll ((arbitrary >>= \ n -> (,) n <$> diffOfSize n) `suchThat` ((> 0) . fst)) $ prop "generates diffs of a specific size" $ forAll ((arbitrary >>= \ n -> (,) n <$> diffOfSize n) `suchThat` ((> 0) . fst)) $
\ (n, diff) -> arbitraryDiffSize (diff :: ArbitraryDiff String ()) `shouldBe` n \ (n, diff) -> arbitraryDiffSize (diff :: ArbitraryDiff String ()) `shouldBe` n