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
|