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

add ShowF instance for FloatInfoRepr
GaloisInc · Mar 18, 2024 · 1ab280b · 1ab280b
2 parents 7e1694b + 1d3f2a3
commit 1ab280b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/base/src/Data/Macaw/Types.hs b/base/src/Data/Macaw/Types.hs
@@ -130,6 +130,8 @@ instance Show (FloatInfoRepr fi) where
   show QuadFloatRepr   = "quad"
   show X86_80FloatRepr = "x87_80"
 
+instance ShowF FloatInfoRepr where
+
 instance Pretty (FloatInfoRepr fi) where
   pretty = viaShow