Merge pull request #215 from gilch/gensym-upgrade

Change gensym format
gilch · May 28, 2023 · 4874223 · 4874223
2 parents 92b210b + 4c205ab
commit 4874223
Show file tree

Hide file tree

Showing 8 changed files with 564 additions and 501 deletions.
diff --git a/conftest.py b/conftest.py
@@ -70,14 +70,14 @@ def evaluate(self, example, parser=Lissp()):
 
 
 def norm_gensym_eq(compiled, python):
-    """The special gensym prefix ``_QzNo..._`` will match regardless of number."""
+    """The special gensym prefix ``_Qz...z_`` will match regardless of hash."""
     return re.fullmatch(
-        re.sub(r"_QzNo\d+_", r"_QzNo\\d+_", re.escape(python)), compiled
+        re.sub(r"_Qz[A-Z2-7]+z_", r"_Qz[A-Z2-7]+z_", re.escape(python)), compiled
     )
 
 
 def norm_gensyms(s):
-    s = re.sub(r"_QzNo\d+_", r"_QzNo000_", s)
+    s = re.sub(r"_Qz[A-Z2-7]+z_", r"_QzABCDEFGHz_", s)
     return indent(s, " " * 2).splitlines(True)