From 190619e286f4f0911cd4d0ad2eb32436d1facf53 Mon Sep 17 00:00:00 2001
From: Vitaly Bogdanov <vsbogd@gmail.com>
Date: Mon, 25 Nov 2024 14:06:50 +0300
Subject: [PATCH] Explain why (id_atom (+ 1 1)) gets reduced to 2

---
 python/tests/test_grounded_type.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/python/tests/test_grounded_type.py b/python/tests/test_grounded_type.py
index 9c0beb012..ffeb6b346 100644
--- 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: