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

Use explicit exports for PPCReg

Browse Source
This commit is contained in:
Tristan Ravitch 2017-10-02 10:32:58 -07:00
parent 6b967e1e8a
commit c997e2dada
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
macaw-ppc/src/Data/Macaw/PPC/PPCReg.hs
View File

@ -2,11 +2,12 @@
{-# LANGUAGE GADTs #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TemplateHaskell #-}
module Data.Macaw.PPC.PPCReg where
module Data.Macaw.PPC.PPCReg (
PPCReg(..)
) where
import Data.Macaw.Types
import Data.Parameterized.Classes
import Data.Parameterized.Some
import Data.Macaw.Types
import Data.Parameterized.Classes
import qualified Data.Parameterized.TH.GADT as TH
import qualified Dismantle.PPC as D