fixup for previous commit: use JSON boolean instead of "true" string

GaloisInc · Jan 9, 2024 · 324b91b · 324b91b
1 parent d358bb7
commit 324b91b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/src/Pate/AssumptionSet.hs b/src/Pate/AssumptionSet.hs
@@ -139,7 +139,7 @@ instance OrdF (W4.SymExpr sym) => PEM.ExprMappable sym (AssumptionSet sym) where
     return $ mkAssumptionSet sym ps' (foldr (mergeExprSetFMap (Proxy @sym)) MapF.empty bs')
 
 instance forall sym. W4S.SerializableExprs sym => W4S.W4Serializable sym (AssumptionSet sym) where
-  w4Serialize (AssumptionSet ps bs) | SetF.null ps, MapF.null bs = W4S.w4SerializeString ("true" :: String)
+  w4Serialize (AssumptionSet ps bs) | SetF.null ps, MapF.null bs = W4S.w4Serialize True
   w4Serialize (AssumptionSet ps bs) | [p] <- SetF.toList ps, MapF.null bs = W4S.w4SerializeF p
   w4Serialize (AssumptionSet ps bs) =
     W4S.withSerializable (Proxy @sym) (Proxy @(W4.SymExpr sym)) (Proxy @W4.BaseBoolType) $ do

diff --git a/src/What4/JSON.hs b/src/What4/JSON.hs
@@ -168,6 +168,9 @@ instance W4Serializable sym Integer where
 instance W4Serializable sym Text where
   w4Serialize i = return $ JSON.toJSON i
 
+instance W4Serializable sym Bool where
+  w4Serialize i = return $ JSON.toJSON i
+
 instance W4Serializable sym a => W4Serializable sym (Maybe a) where
   w4Serialize = \case
     Just a -> w4Serialize a