From 7819377d84e1fd6ac88fd9aed30770ca17b42b88 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Tue, 28 Dec 2021 21:38:00 -0600 Subject: [PATCH] macaw-x86-symbolic: Remove unused FloatInfoFromSSEType definition GHC 9.0 uncovered this type family as being unused. (See https://gitlab.haskell.org/ghc/ghc/-/issues/18470, which made `-Wunused-top-binds` more clever about detecting unused, closed type families like `FloatInfoFromSSEType`.) Let's remove it to avoid an `-Wunused-top-binds` warning. --- x86_symbolic/src/Data/Macaw/X86/Crucible.hs | 4 ---- 1 file changed, 4 deletions(-) diff --git a/x86_symbolic/src/Data/Macaw/X86/Crucible.hs b/x86_symbolic/src/Data/Macaw/X86/Crucible.hs index 24573987..1b18b936 100644 --- a/x86_symbolic/src/Data/Macaw/X86/Crucible.hs +++ b/x86_symbolic/src/Data/Macaw/X86/Crucible.hs @@ -889,10 +889,6 @@ toValBV :: IO (RegValue sym (BVType w)) toValBV sym (AtomWrapper x) = projectLLVM_bv sym (regValue x) -type family FloatInfoFromSSEType (tp :: M.Type) :: FloatInfo where - FloatInfoFromSSEType (M.BVType 32) = SingleFloat - FloatInfoFromSSEType (M.BVType 64) = DoubleFloat - floatInfoFromSSEType :: M.SSE_FloatType tp -> FloatInfoRepr (ToCrucibleFloatInfo tp) floatInfoFromSSEType = \case