Squash compatibility warnings, etc. for GHC 8.10

GaloisInc · May 12, 2020 · f6ed78a · f6ed78a
1 parent 562839d
commit f6ed78a
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/src/Verifier/SAW/ExternalFormat.hs b/src/Verifier/SAW/ExternalFormat.hs
@@ -23,7 +23,7 @@ import Verifier.SAW.TypedAST
 import Control.Monad.State.Strict as State
 import Data.Map (Map)
 import qualified Data.Map as Map
-import Data.List
+import Data.List (elemIndex)
 import qualified Data.Vector as V
 
 --------------------------------------------------------------------------------

diff --git a/src/Verifier/SAW/SCTypeCheck.hs b/src/Verifier/SAW/SCTypeCheck.hs
@@ -46,7 +46,7 @@ import Control.Monad.Except
 import Control.Monad.State.Strict
 import Control.Monad.Reader
 
-import Data.List
+import Data.List ( (\\) )
 import Data.Map (Map)
 import qualified Data.Map as Map
 #if !MIN_VERSION_base(4,8,0)

diff --git a/src/Verifier/SAW/TermNet.hs b/src/Verifier/SAW/TermNet.hs
@@ -238,13 +238,13 @@ matching unif = match
     match t net nets =
       case net of
         Leaf _ -> nets
-        Net {var, ..} ->
+        Net {var} ->
           case t of
             Var -> if unif then net_skip net nets else var : nets {-only matches Var in net-}
             _   -> rands t net (var : nets)  {-var could match also-}
     rands :: Pat -> Net a -> [Net a] -> [Net a]
     rands _ (Leaf _) nets = nets
-    rands t (Net {comb, atoms, ..}) nets =
+    rands t (Net {comb, atoms}) nets =
       case t of
         Atom c    -> look1 (atoms, c) nets
         Var       -> nets