diff --git a/src/Cryptol/Eval.hs b/src/Cryptol/Eval.hs index 68ffa19d..97639e3c 100644 --- a/src/Cryptol/Eval.hs +++ b/src/Cryptol/Eval.hs @@ -29,11 +29,11 @@ import Cryptol.Utils.PP import Cryptol.Prims.Eval import qualified Data.Map as Map -import Data.Traversable (sequenceA) #if __GLASGOW_HASKELL__ < 710 import Control.Applicative (Applicative(..)) import Data.Monoid (Monoid(..),mconcat) +import Data.Traversable (sequenceA) #endif -- Expression Evaluation ------------------------------------------------------- diff --git a/src/Cryptol/Parser/AST.hs b/src/Cryptol/Parser/AST.hs index 795954e1..da07e2a5 100644 --- a/src/Cryptol/Parser/AST.hs +++ b/src/Cryptol/Parser/AST.hs @@ -6,6 +6,7 @@ -- Stability : provisional -- Portability : portable +{-# LANGUAGE CPP #-} {-# LANGUAGE Safe #-} {-# LANGUAGE PatternGuards #-} {-# LANGUAGE RecordWildCards #-}