python's repr fixed

python/hyperon/atoms.py

@@ -279,7 +279,8 @@ def __repr__(self):
         # Overwrite Python default representation of a string to use
         # double quotes instead of single quotes.
         if isinstance(self.content, str):
-            return f'"{self.content}"'
+            newstr = self.content.translate(str.maketrans({'"' : r'\"'}))
+            return f'"{newstr}"'
 
         # Use default representation for everything else
         return repr(self.content) if self.id is None else self.id

python/hyperon/stdlib.py

@@ -61,7 +61,7 @@ def text_ops(run_context):
 
     """
 
-    reprAtom = OperationAtom('repr', lambda a: [ValueAtom(repr(a))],
+    reprAtom = OperationAtom('repr', lambda a: [ValueAtom(repr(a), 'String')],
                              ['Atom', 'String'], unwrap=False)
     parseAtom = OperationAtom('parse', lambda s: [SExprParser(str(s)[1:-1]).parse(run_context.tokenizer())],
                               ['String', 'Atom'], unwrap=False)

python/tests/test_examples.py

@@ -369,7 +369,6 @@ def test_char_vs_string(self):
         self.assertEqualMettaRunnerResults(metta.run("!(get-type 'A')"), [[S('Char')]])
         self.assertEqualMettaRunnerResults(metta.run('!(get-type "A")'), [[S('String')]])
 
-
 class SomeObject():
 
     def __init__(self):

python/tests/test_grounded_type.py

@@ -44,6 +44,10 @@ def test_higher_func(self):
         self.assertEqual(metta.run("!((curry_num plus 1) 2)"),
                          metta.run("! 3"))
 
+    def test_string_repr(self):
+        metta = MeTTa(env_builder=Environment.test_env())
+        self.assertEqual(metta.run('!(repr "A")')[0][0].get_object(), ValueObject("\"A\""))
+
     def test_meta_types(self):
         metta = MeTTa(env_builder=Environment.test_env())
         ### Basic functional types

python/tests/test_stdlib.py

@@ -19,8 +19,8 @@ def test_text_ops(self):
         #self.assertEqualMettaRunnerResults(metta.run('!(parse "$X")'),
         #                                  [[(V("X"))]])
 
-        self.assertEqualMettaRunnerResults(metta.run('!(parse "\\"A\\"")'),
-                                           [[(ValueAtom("A"))]])
+        self.assertEqualMettaRunnerResults(repr(metta.run('!(parse "\\"A\\"")')),
+                                           '[[\\"A\\"]]')
 
         #self.assertEqualMettaRunnerResults(metta.run('!(parse "(func (Cons $x (Cons $xs $xss))) ")'),
         #                                   [[E(S("func"), E(S("Cons"), V("x"), E(S("Cons"), V("xs"), V("xss"))))]])