use text (instead of integer) to represent special variable in SAT2NA…

…ESATInfo's JSON encoding
msakai · Dec 4, 2024 · f16c424 · f16c424
1 parent 713ab77
commit f16c424
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/src/ToySolver/Converter/NAESAT.hs b/src/ToySolver/Converter/NAESAT.hs
@@ -100,12 +100,13 @@ instance J.ToJSON SAT2NAESATInfo where
   toJSON (SAT2NAESATInfo z) =
     J.object
     [ "type" .= ("SAT2NAESATInfo" :: J.Value)
-    , "special_variable" .= z
+    , "special_variable" .= jVar z
     ]
 
 instance J.FromJSON SAT2NAESATInfo where
-  parseJSON = withTypedObject "SAT2NAESATInfo" $ \obj ->
-    SAT2NAESATInfo <$> obj .: "special_variable" -- TODO: use Text instead of Int
+  parseJSON = withTypedObject "SAT2NAESATInfo" $ \obj -> do
+    z <- parseVarName =<< (obj .: "special_variable")
+    pure $ SAT2NAESATInfo z
 
 -- | Information of 'naesat2sat' conversion
 type NAESAT2SATInfo = IdentityTransformer SAT.Model