Merge pull request #44 from msakai/remove-cpp

Remove unnecessary CPP
DanielSchuessler · Nov 8, 2024 · cacc6ba · cacc6ba
2 parents d17a192 + de51504
commit cacc6ba
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 10 deletions.
diff --git a/Codec/TPTP/Base.hs b/Codec/TPTP/Base.hs
@@ -7,14 +7,6 @@
 
 module Codec.TPTP.Base where
 
-#ifndef MIN_VERSION_transformers
-#define MIN_VERSION_transformers(a,b,c) 1
-#endif
-#ifndef MIN_VERSION_base
-#define MIN_VERSION_base(a,b,c) 1
-#endif
--- Assume we are using the newest versions when using ghci without cabal
-
 import Codec.TPTP.QuickCheck
 import Control.Applicative
 import Control.Monad

diff --git a/Codec/TPTP/Diff.hs b/Codec/TPTP/Diff.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE CPP, NoMonomorphismRestriction, RecordWildCards
+{-# LANGUAGE NoMonomorphismRestriction, RecordWildCards
   , StandaloneDeriving, MultiParamTypeClasses, FunctionalDependencies
   , TypeSynonymInstances, FlexibleInstances, FlexibleContexts
   , UndecidableInstances, DeriveDataTypeable, GeneralizedNewtypeDeriving

diff --git a/Codec/TPTP/Pretty.hs b/Codec/TPTP/Pretty.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE CPP, NoMonomorphismRestriction, RecordWildCards
+{-# LANGUAGE NoMonomorphismRestriction, RecordWildCards
   , StandaloneDeriving
   , TypeSynonymInstances, FlexibleInstances, FlexibleContexts
   , UndecidableInstances, DeriveDataTypeable, GeneralizedNewtypeDeriving