jukebox 0.3.2 → 0.3.3

raw patch · 3 files changed

+8/−3 lines, 3 files

Files

• jukebox.cabal +1/−1
• src/Jukebox/Options.hs +6/−2
• src/Jukebox/TPTP/Print.hs +1/−0

@@ -1,5 +1,5 @@ Name: jukebox-Version: 0.3.2+Version: 0.3.3 Cabal-version: >= 1.8 Build-type: Simple Author: Nick Smallbone

@@ -16,6 +16,7 @@ #if __GLASGOW_HASKELL__ < 710 import Control.Applicative import Data.Monoid+import Data.Semigroup(Semigroup(..)) #endif  ----------------------------------------------------------------------@@ -34,8 +35,11 @@  instance (Monoid d, Monoid (p a)) => Monoid (Annotated d p a) where   mempty = Annotated mempty mempty-  Annotated d p `mappend` Annotated d' p' =-    Annotated (d `mappend` d') (p `mappend` p')+  mappend = (<>)++instance (Semigroup d, Semigroup (p a)) => Semigroup (Annotated d p a) where+  Annotated d p <> Annotated d' p' =+    Annotated (d <> d') (p <> p')  ---------------------------------------------------------------------- -- The ArgParser type: parsing of single flags.

@@ -4,6 +4,7 @@        where  #include "errors.h"+import Prelude hiding ((<>)) import Data.Char import Data.Maybe import Text.PrettyPrint.HughesPJ