GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-22 05:45:51 +03:00
Code Issues Projects Releases Wiki Activity

dump: Fix compilation with GHC 9.4

Browse Source
This commit is contained in:
Langston Barrett 2024-10-16 11:45:30 -04:00
parent e081826c9a
commit 73adafd3ae
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
macaw-aarch32-symbolic/tools/Dump.hs
View File

@ -3,6 +3,15 @@
module Main (main) where
-- Sometimes, GHC 9.4 is unable to find instances of RegAddrWidth that are
-- available by way of transitive module imports. The only reliable way of
-- preventing this issue that I've found is to import the defining module for
-- the instances (Data.Macaw.ARM.ARMReg) directly. See
-- https://gitlab.haskell.org/ghc/ghc/-/issues/16234 for the upstream GHC issue.
--
-- This issue does not affect GHC 9.6 or later, so when we drop support for GHC
-- 9.4, we can remove the redundant import below.
import Data.Macaw.ARM.ARMReg ()
import Data.Macaw.AArch32.Symbolic ()
import Data.Macaw.ARM qualified as MA
import Data.Macaw.Dump qualified as MD