GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-02 10:54:04 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #373 from GaloisInc/vr/showf-floatinforepr

Browse Source 
add ShowF instance for FloatInfoRepr
This commit is contained in:
Valentin Robert 2024-03-18 11:16:22 -07:00 committed by GitHub
commit 1ab280b5f8
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
base/src/Data/Macaw/Types.hs
View File

@ -130,6 +130,8 @@ instance Show (FloatInfoRepr fi) where
show QuadFloatRepr = "quad" show QuadFloatRepr = "quad"
show X86_80FloatRepr = "x87_80" show X86_80FloatRepr = "x87_80"
instance ShowF FloatInfoRepr where
instance Pretty (FloatInfoRepr fi) where instance Pretty (FloatInfoRepr fi) where
pretty = viaShow pretty = viaShow