saw-script: Minimize LANGUAGE pragmas.

Author: brianhuffman

saw-script/src/SAWScript/AutoMatch.hs

@@ -1,10 +1,7 @@
-{-# LANGUAGE DeriveFunctor    #-}
-{-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE LambdaCase       #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE RankNTypes       #-}
 {-# LANGUAGE RecordWildCards  #-}
-{-# LANGUAGE ViewPatterns     #-}
 
 module SAWScript.AutoMatch where
 

saw-script/src/SAWScript/AutoMatch/Cryptol.hs

@@ -1,7 +1,6 @@
-{-# LANGUAGE ViewPatterns #-}
-{-# LANGUAGE RecordWildCards #-}
-{-# LANGUAGE NamedFieldPuns #-}
 {-# LANGUAGE LambdaCase #-}
+{-# LANGUAGE NamedFieldPuns #-}
+{-# LANGUAGE RecordWildCards #-}
 
 module SAWScript.AutoMatch.Cryptol where
 

saw-script/src/SAWScript/AutoMatch/JVM.hs

@@ -1,5 +1,4 @@
-{-# LANGUAGE LambdaCase    #-}
-{-# LANGUAGE TupleSections #-}
+{-# LANGUAGE LambdaCase #-}
 
 module SAWScript.AutoMatch.JVM where
 

saw-script/src/SAWScript/AutoMatch/LLVM.hs

@@ -1,6 +1,4 @@
-{-# LANGUAGE LambdaCase    #-}
 {-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE TupleSections #-}
 
 module SAWScript.AutoMatch.LLVM where
 

saw-script/src/SAWScript/Interpreter.hs

@@ -5,18 +5,13 @@ License     : BSD3
 Maintainer  : huffman
 Stability   : provisional
 -}
-{-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE ImplicitParams #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE NondecreasingIndentation #-}
 {-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TupleSections #-}
-{-# LANGUAGE ViewPatterns #-}
-{-# LANGUAGE NondecreasingIndentation #-}
 -- See Note [-Wincomplete-uni-patterns and irrefutable patterns] in
 -- SAWScript.Typechecker
 {-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-}

saw-script/src/SAWScript/Lexer.x

@@ -1,5 +1,4 @@
 {
-{-# LANGUAGE BangPatterns #-}
 {-# LANGUAGE OverloadedStrings #-}
 module SAWScript.Lexer
   ( scan

saw-script/src/SAWScript/Parser.y

@@ -1,11 +1,4 @@
 {
-{-# OPTIONS_GHC -fno-warn-name-shadowing      #-}
-{-# OPTIONS_GHC -fno-warn-unused-matches      #-}
-{-# OPTIONS_GHC -fno-warn-unused-binds        #-}
-{-# OPTIONS_GHC -fno-warn-name-shadowing      #-}
-{-# OPTIONS_GHC -fno-warn-missing-signatures  #-}
-{-# OPTIONS_GHC -fno-warn-incomplete-patterns #-}
-{-# OPTIONS_GHC -fno-warn-tabs                #-}
 {-# LANGUAGE OverloadedStrings #-}
 module SAWScript.Parser
   ( parseModule

saw-script/src/SAWScript/REPL/Command.hs

@@ -5,10 +5,7 @@ License     : BSD3
 Maintainer  : huffman
 Stability   : provisional
 -}
-{-# LANGUAGE CPP, PatternGuards, FlexibleContexts #-}
 {-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE ViewPatterns #-}
 -- TODO RGS: Do better (or at least comment why we do this)
 {-# OPTIONS_GHC -fno-warn-incomplete-uni-patterns #-}
 

saw-script/src/SAWScript/REPL/Haskeline.hs

@@ -6,7 +6,6 @@ Maintainer  : huffman
 Stability   : provisional
 -}
 {-# LANGUAGE CPP #-}
-{-# LANGUAGE PatternGuards #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 
 module SAWScript.REPL.Haskeline (repl, replBody) where

saw-script/src/SAWScript/REPL/Monad.hs

@@ -6,8 +6,6 @@ Maintainer  : huffman
 Stability   : provisional
 -}
 {-# LANGUAGE LambdaCase #-}
-{-# LANGUAGE PatternGuards #-}
-{-# LANGUAGE DeriveDataTypeable #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE StandaloneDeriving #-}