A few small changes - (#1113)

* Note API incompatibilty introduced in Pattern changes Adjust pattern comment
* Remove Lint warning on compilation box
* rename osx to macos in CI test

.github/workflows/osx.yml → .github/workflows/macos.yml

@@ -1,4 +1,4 @@
-name: Mathics3 (OSX)
+name: Mathics3 (macOS)
 
 on:
   push:

CHANGES.rst

@@ -25,6 +25,18 @@ Performance
 
 * ``Blank*`` patterns without arguments are now singletons.
 
+API incompatibility
+-------------
+
+* ``Matcher`` now requires an additional ``evaluation`` parameter
+
+
+Package updates
++++++++++++++++
+
+#. Python 3.12 is now supported
+#. SymPy 1.13 is now supported
+
 
 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