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

Add a PrettyF instance for PPCReg

Browse Source
This commit is contained in:
Tristan Ravitch 2018-05-03 09:46:46 -07:00
parent 4bed676ca2
commit 05061a2140
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -31,6 +31,7 @@ import Data.Macaw.Types
import Data.Parameterized.Classes
import Data.Parameterized.Some ( Some(..) )
import qualified Data.Parameterized.TH.GADT as TH
import qualified Text.PrettyPrint.ANSI.Leijen as PP
import qualified Dismantle.PPC as D
import qualified SemMC.Architecture.PPC.Location as APPC
@ -69,6 +70,9 @@ instance Show (PPCReg arch tp) where
instance ShowF (PPCReg arch) where
showF = show
instance MC.PrettyF (PPCReg arch) where
prettyF = PP.text . showF
$(return [])
instance TestEquality (PPCReg arch) where