Change gensym format

gilch · May 28, 2023 · fb77b90 · fb77b90
1 parent 92b210b
commit fb77b90
Show file tree

Hide file tree

Showing 8 changed files with 563 additions and 500 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)