mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-28 01:35:33 +03:00
Remove some unused imports
This commit is contained in:
parent
13c202f966
commit
ebd52aa11c
@ -14,14 +14,10 @@
|
||||
-- package that cannot depend on the architecture-specific backends.
|
||||
module Data.Macaw.PPC.Operand () where
|
||||
|
||||
import GHC.TypeLits
|
||||
import Data.Int ( Int16 )
|
||||
import Data.Word ( Word32 )
|
||||
import qualified Data.Parameterized.NatRepr as NR
|
||||
import qualified Data.Macaw.CFG.Core as MC
|
||||
import Data.Macaw.Types
|
||||
import qualified Data.Word.Indexed as W
|
||||
import qualified Data.Int.Indexed as I
|
||||
import qualified Dismantle.PPC as D
|
||||
|
||||
import qualified SemMC.Architecture.PPC32 as PPC32
|
||||
|
@ -18,7 +18,7 @@ import qualified Data.Macaw.CFG.Core as MC
|
||||
import qualified Data.Macaw.SemMC.Generator as G
|
||||
import Data.Macaw.Types
|
||||
import Data.Parameterized.NatRepr as NR
|
||||
import Data.Word ( Word8, Word16, Word32 )
|
||||
import Data.Word ( Word32 )
|
||||
import qualified Data.Word.Indexed as W
|
||||
import GHC.TypeLits
|
||||
|
||||
|
@ -67,7 +67,6 @@ import qualified SemMC.Architecture as A
|
||||
import qualified SemMC.Architecture.Location as L
|
||||
import qualified SemMC.Util as U
|
||||
import qualified Data.Macaw.CFG as M
|
||||
import qualified Data.Macaw.Memory as M
|
||||
import qualified Data.Macaw.Types as M
|
||||
|
||||
import Data.Parameterized.NatRepr ( knownNat
|
||||
|
Loading…
Reference in New Issue
Block a user