Skip to content

Commit

Permalink
Merge pull request #43 from msakai/drop-transformers-less-than-0.5
Browse files Browse the repository at this point in the history
Stop supporting transformers <0.5
  • Loading branch information
msakai authored Oct 23, 2024
2 parents ebb4f73 + 01df5a3 commit d17a192
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 6 deletions.
3 changes: 0 additions & 3 deletions Codec/TPTP/Base.hs
Original file line number Diff line number Diff line change
Expand Up @@ -30,9 +30,6 @@ import Prelude --hiding(concat,foldl,foldl1,foldr,foldr1)
import Test.QuickCheck hiding ((.&.))
import Data.Pointed
import Data.Copointed
#if !MIN_VERSION_transformers(0,4,0)
import Control.Monad.Trans.Instances () -- Import Eq,Ord,Show,Read,Data,Typeable orphan instances for Data.Functor.Identity from transformers-compat package
#endif

-- * Basic undecorated formulae and terms

Expand Down
4 changes: 1 addition & 3 deletions logic-TPTP.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -69,8 +69,7 @@ Library
, mtl
, pointed
, semigroups
, transformers
, transformers-compat >= 0.5
, transformers >= 0.5

exposed-modules: Codec.TPTP.Import
, Codec.TPTP.Base
Expand Down Expand Up @@ -118,7 +117,6 @@ Test-suite TestImportExportRandom
, QuickCheck
, semigroups
, transformers
, transformers-compat >= 0.5
default-language: Haskell2010
other-extensions: CPP

Expand Down

0 comments on commit d17a192

Please sign in to comment.