Commits

Aleksey Khudyakov committed 4ef2ea7

Ooops

Comments (0)

Files changed (1)

Test/QuickCheck/Property/Monoid.hs

 prop_MonoidRight = prop_RightIdentity mempty mappend
 
 -- | 'mempty' is identity
-prop_MonoidIdentity :: Monoid a => T a -> a -> [Equal a]
+prop_MonoidIdentity :: Monoid a => T a -> a -> Equal a
 prop_MonoidIdentity = prop_Identity mempty mappend
 
 -- | 'mappend' is associative