Explain why (id_atom (+ 1 1)) gets reduced to 2

trueagi-io · Nov 25, 2024 · 190619e · 190619e
1 parent b2c0d36
commit 190619e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/python/tests/test_grounded_type.py b/python/tests/test_grounded_type.py
@@ -79,7 +79,9 @@ def test_meta_types(self):
             myAtom
             untyp
             '''))
-        # FIXME: why does it get reduced?
+        # FIXME: (id_atom (+ 1 1)) gets reduced because after id_atom returns
+        # (+ 1 1) it is evaluated further and becomes 2. We don't have a manner
+        # to prevent evaluation in MeTTa.
         # self.assertEqual(metta.run("!(id_atom (+ 1 1))"), [metta.parse_all("(+ 1 1)")])
         ### Polymorphic without unwrapping
         # Nothing is done with `$t` on the Grounded side, but we check that: