cryptol-saw-core: 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,