search

leftaroundabout / constrained-categories

Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
http://hackage.haskell.org/package/constrained-categories
GNU General Public License v3.0
20 stars 6 forks source link

Semigroup is a superclass of Monoid since base-4.11.0.0 #2

Closed jragonfyre closed 6 years ago

jragonfyre commented 6 years ago

Build failed for me when building with base-4.11.1.0, I tracked the issue down to the fact that Semigroup became a superclass of Monoid in base 4.11.0.0, so I made the instances of Monoid in Data.Foldable.Constrained instances of Semigroup too.

leftaroundabout commented 6 years ago

Thanks! I'm surprised I didn't do this myself already.

leftaroundabout commented 6 years ago

Build passes again also with old GHC. Current version available as 0.3.1.1.