Remove dead code for converting between ConcreteVal/IndexLit

what4/src/What4/Concrete.hs

@@ -44,9 +44,6 @@ module What4.Concrete
   , fromConcreteString
   , fromConcreteBV
   , fromConcreteComplex
-
-  , fromIndexLit
-  , toIndexLit
   ) where
 
 import qualified Data.List as List
@@ -64,7 +61,6 @@ import           Data.Parameterized.TH.GADT
 import           Data.Parameterized.TraversableFC
 
 import           What4.BaseTypes
-import           What4.IndexLit
 import           What4.Utils.Complex
 import           What4.Utils.StringLiteral
 
@@ -122,25 +118,6 @@ concreteType = \case
   ConcreteStruct xs         -> BaseStructRepr (fmapFC concreteType xs)
   ConcreteArray idxTy def _ -> BaseArrayRepr idxTy (concreteType def)
 
-fromIndexLit :: IndexLit tp -> ConcreteVal tp
-fromIndexLit =
-  \case
-    IntIndexLit i -> ConcreteInteger i
-    BVIndexLit w bv -> ConcreteBV w bv
-
-toIndexLit :: ConcreteVal tp -> Maybe (IndexLit tp)
-toIndexLit = \case
-  ConcreteInteger i         -> Just (IntIndexLit i)
-  ConcreteBV w bv           -> Just (BVIndexLit w bv)
-  -- Explicitly match all constructors to get a warning if we add one
-  ConcreteBool{}            -> Nothing
-  ConcreteReal{}            -> Nothing
-  ConcreteFloat{}           -> Nothing
-  ConcreteString{}          -> Nothing
-  ConcreteComplex{}         -> Nothing
-  ConcreteStruct{}          -> Nothing
-  ConcreteArray{}           -> Nothing
-
 $(return [])
 
 instance TestEquality ConcreteVal where

what4/src/What4/Expr/GroundEval.hs

@@ -58,7 +58,6 @@ import           LibBF (BigFloat)
 import qualified LibBF as BF
 
 import           What4.BaseTypes
-import           What4.Concrete (ConcreteVal(..), fromIndexLit, toIndexLit)
 import           What4.Interface
 import qualified What4.SemiRing as SR
 import qualified What4.SpecialFunctions as SFn
@@ -73,7 +72,6 @@ import           What4.Utils.Arithmetic ( roundAway )
 import           What4.Utils.Complex
 import           What4.Utils.FloatHelpers
 import           What4.Utils.StringLiteral
-import Data.Functor.Product (Product(Pair))
 
 
 type family GroundValue (tp :: BaseType) where