From de515042954d9351c3acd1c8bef1348ee4d7bfd4 Mon Sep 17 00:00:00 2001 From: Masahiro Sakai Date: Sat, 9 Nov 2024 08:38:05 +0900 Subject: [PATCH] remove unnecessary CPP --- Codec/TPTP/Base.hs | 8 -------- Codec/TPTP/Diff.hs | 2 +- Codec/TPTP/Pretty.hs | 2 +- 3 files changed, 2 insertions(+), 10 deletions(-) diff --git a/Codec/TPTP/Base.hs b/Codec/TPTP/Base.hs index 89d8521..72c415e 100644 --- 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 index 29f0927..9cf4c26 100644 --- 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 index 0dd4e7f..9c97504 100644 --- 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