Merge pull request #2759 from GaloisInc/bh/minimize-pragmas

Minimize LANGUAGE pragmas

Author: brianhuffman

cryptol-saw-core/src/CryptolSAWCore/Cryptol.hs

@@ -1,12 +1,8 @@
-{-# OPTIONS_GHC -Wall #-}
-{-# LANGUAGE DoAndIfThenElse #-}
+{-# LANGUAGE BangPatterns #-}
 {-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE PatternGuards #-}
-{-# LANGUAGE ViewPatterns #-}
-{-# LANGUAGE TupleSections #-}
 {-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE BangPatterns #-}
 {-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE ViewPatterns #-}
 
 {- |
 Module      : CryptolSAWCore.Cryptol

cryptol-saw-core/src/CryptolSAWCore/TypedTerm.hs

@@ -5,7 +5,7 @@ License     : BSD3
 Maintainer  : huffman
 Stability   : provisional
 -}
-{-# LANGUAGE PatternGuards #-}
+
 module CryptolSAWCore.TypedTerm
  -- ppTypedTerm,
  -- ppTypedTermType,

saw-central/src/SAWCentral/AST.hs

@@ -5,13 +5,10 @@ License     : BSD3
 Maintainer  : huffman
 Stability   : provisional
 -}
-{-# LANGUAGE DeriveFunctor,DeriveFoldable,DeriveTraversable #-}
-{-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE TypeOperators #-}
-{-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE LambdaCase #-}
-{-# LANGUAGE ViewPatterns #-}
 {-# LANGUAGE NamedFieldPuns #-}
+{-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE ViewPatterns #-}
 
 module SAWCentral.AST
        ( PrimitiveLifecycle(..)

saw-central/src/SAWCentral/Bisimulation.hs

@@ -68,7 +68,6 @@ may handle more complex proofs.
 
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE TupleSections #-}
 
 module SAWCentral.Bisimulation
   ( BisimTheorem, proveBisimulation )

saw-central/src/SAWCentral/Builtins.hs

@@ -5,19 +5,11 @@ License     : BSD3
 Maintainer  : atomb
 Stability   : provisional
 -}
-{-# LANGUAGE ConstraintKinds #-}
-{-# LANGUAGE DeriveDataTypeable #-}
-{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE ImplicitParams #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE Rank2Types #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE ViewPatterns #-}
-{-# LANGUAGE TupleSections #-}
-{-# LANGUAGE PatternGuards #-}
-{-# LANGUAGE DoAndIfThenElse #-}
-{-# LANGUAGE NondecreasingIndentation #-}
-{-# LANGUAGE ImplicitParams #-}
 
 module SAWCentral.Builtins where
 

saw-central/src/SAWCentral/CongruenceClosure.hs

@@ -5,7 +5,6 @@ License     : BSD3
 Maintainer  : atomb
 Stability   : provisional
 -}
-{-# LANGUAGE DoAndIfThenElse #-}
 
 module SAWCentral.CongruenceClosure
   ( -- * Functor type classes

saw-central/src/SAWCentral/Crucible/Common.hs

@@ -6,7 +6,6 @@ Maintainer  : langston
 Stability   : provisional
 -}
 
-{-# LANGUAGE ExistentialQuantification #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE RankNTypes #-}

saw-central/src/SAWCentral/Crucible/Common/MethodSpec.hs

@@ -10,11 +10,11 @@ language-) specific code. This technique is described in the paper \"Trees That
 Grow\", and is prevalent across the Crucible codebase.
 -}
 
-{-# LANGUAGE ConstraintKinds #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE GADTs #-}
+{-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE OverloadedStrings #-}
@@ -23,7 +23,6 @@ Grow\", and is prevalent across the Crucible codebase.
 {-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
-{-# LANGUAGE TypeFamilyDependencies #-}
 {-# LANGUAGE UndecidableInstances #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 

saw-central/src/SAWCentral/Crucible/Common/Override.hs

@@ -6,17 +6,15 @@ Maintainer  : langston
 Stability   : provisional
 -}
 
-{-# LANGUAGE DataKinds #-}
 {-# LANGUAGE DeriveGeneric #-}
 {-# LANGUAGE FlexibleContexts #-}
-{-# LANGUAGE GADTs #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TemplateHaskell #-}
-{-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}
 
 module SAWCentral.Crucible.Common.Override

saw-central/src/SAWCentral/Crucible/Common/Setup/Type.hs

@@ -6,12 +6,6 @@ Maintainer  : langston
 Stability   : provisional
 -}
 
-{-# LANGUAGE DeriveDataTypeable #-}
-{-# LANGUAGE DeriveFunctor #-}
-{-# LANGUAGE GeneralizedNewtypeDeriving #-}
-{-# LANGUAGE MultiParamTypeClasses #-}
-{-# LANGUAGE RankNTypes #-}
-{-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TemplateHaskell #-}
 
 module SAWCentral.Crucible.Common.Setup.Type