A few small changes -

Note API incompatibilty introduced in Pattern changes
Adjust pattern comment
Remove Lint warning on compilation box

CHANGES.rst

@@ -25,6 +25,13 @@ Performance
 
 * ``Blank*`` patterns without arguments are now singletons.
 
+API Incompatibility
+-------------
+
+* ``Matcher`` now requires an additional ``evaluation`` parameter
+
+
+
 
 7.0.0
 -----

mathics/builtin/box/compilation.py

@@ -2,11 +2,12 @@
 """
 Boxing Symbols for compiled code
 """
-# Docs are not yet ready for prime time. Maybe after release 6.0.0.
-no_doc = True
 
 from mathics.builtin.box.expression import BoxExpression
 
+# Docs are not yet ready for prime time. Maybe after release 6.0.0.
+no_doc = True
+
 
 class CompiledCodeBox(BoxExpression):
     """

mathics/core/pattern.py

@@ -92,9 +92,7 @@ class BasePattern(ABC):
 
     expr: BaseElement
 
-    # this attribute allows for a faster match algorithm based on sameq.
-    # Probably we should split ExpressionPattern into two different classes,
-    # one for literal patterns and the other for "Regular" ExpressionPatterns.
+    # This attribute facilitates a faster match algorithm based on sameQ.
     isliteral: bool = False
 
     # TODO: In WMA, when a BasePattern is created, the attributes