GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-23 08:27:24 +03:00
Code Issues Projects Releases Wiki Activity

macaw-x86-symbolic: Remove unused FloatInfoFromSSEType definition

Browse Source 
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.
This commit is contained in:
Ryan Scott 2021-12-28 21:38:00 -06:00 committed by Ryan Scott
parent 2f2ba118bd
commit 7819377d84
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
x86_symbolic/src/Data/Macaw/X86/Crucible.hs
View File

@ -889,10 +889,6 @@ toValBV ::
IO (RegValue sym (BVType w)) IO (RegValue sym (BVType w))
toValBV sym (AtomWrapper x) = projectLLVM_bv sym (regValue x) 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 floatInfoFromSSEType
:: M.SSE_FloatType tp -> FloatInfoRepr (ToCrucibleFloatInfo tp) :: M.SSE_FloatType tp -> FloatInfoRepr (ToCrucibleFloatInfo tp)
floatInfoFromSSEType = \case floatInfoFromSSEType = \case