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

Use the prop shorthand.

Browse Source
This commit is contained in:
Rob Rix 2015-12-10 23:59:19 -05:00
parent 9b2fda2a49
commit f59f92e1d4
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
test/Spec.hs
View File

@ -10,6 +10,7 @@ import Control.Comonad.Cofree
import Control.Monad.Free
import qualified Data.Set as Set
import Test.Hspec
import Test.Hspec.QuickCheck
import Test.QuickCheck
newtype ArbitraryTerm = ArbitraryTerm (Term String Info)
@ -21,7 +22,7 @@ instance Arbitrary ArbitraryTerm where
main :: IO ()
main = hspec $ do
describe "Term" $ do
it "equality is reflexive" $ property $
prop "equality is reflexive" $
\ a b -> a == (b :: ArbitraryTerm)
describe "annotatedToRows" $ do