summaryrefslogtreecommitdiff
blob: 58ed02d3ff2a6498b90534b94590164a6e99a29c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
--- a/src/Top/Solver.hs
+++ b/src/Top/Solver.hs
@@ -26,2 +26,3 @@ import Top.Constraint.Information
 import Control.Monad.Writer
+import qualified Data.Semigroup as S
 
@@ -170,2 +171,5 @@ evalBasicMonad = runWriter . flip evalStateFixT empty
 
+instance S.Semigroup LogEntries where
+   (<>) (LogEntries f) (LogEntries g) = LogEntries (f . g)
+
 instance Monoid LogEntries where