Track changes in API, etc.

Add script to check version

Author: rocky

admin-tools/check-versions.sh

@@ -0,0 +1,27 @@
+#!/bin/bash
+function finish {
+  cd $mathics_natlang_owd
+}
+
+# FIXME put some of the below in a common routine
+mathics_natlang_owd=$(pwd)
+trap finish EXIT
+
+cd $(dirname ${BASH_SOURCE[0]})
+if ! source ./pyenv-versions ; then
+    exit $?
+fi
+
+cd ..
+for version in $PYVERSIONS; do
+    echo --- $version ---
+    if ! pyenv local $version ; then
+	exit $?
+    fi
+    make clean && pip install -e .
+    if ! make check; then
+	exit $?
+    fi
+    echo === $version ===
+done
+finish

setup.py

@@ -59,7 +59,7 @@ def read(*rnames):
         "langid",  # replace with a supported newer package, e.g. via spacy
         "llvmlite>=0.36",
         "nltk>=3.8.0",
-        "pattern>=3.6.0",
+        "pattern",
         "pyenchant>=3.2.0",
         "pycountry>=3.2.0",
         "spacy>=3.4",

test/consistency-and-style/test_summary_text.py

@@ -60,7 +60,7 @@
 language_tool = None
 if CHECK_GRAMMAR:
     try:
-        import language_tool_python
+        import language_tool_python  # type: ignore[import-not-found]
 
         language_tool = language_tool_python.LanguageToolPublicAPI("en-US")
         # , config={ 'cacheSize': 1000, 'pipelineCaching': True })
@@ -95,14 +95,15 @@ def import_module(module_name: str):
         module_names.append(f"{subdir}.{modname}")
 
 
-modules = dict()
+modules: Dict[str, ModuleType] = dict()
 for module_name in module_names:
     import_module(module_name)
 
 # modules = {"compilation": modules["compilation"],}
 
 
 def check_grammar(text: str):
+    assert language_tool is not None
     matches = language_tool.check(text)
     filtered_matches = []
     if matches:
@@ -138,10 +139,10 @@ def check_well_formatted_docstring(docstr: str, instance: Builtin, module_name:
     ), f"missing <dd> field {instance.get_name()} from {module_name}"
     assert (
         docstr.count("</dt>") == 0
-    ), f"unnecesary </dt> {instance.get_name()} from {module_name}"
+    ), f"unnecessary </dt> {instance.get_name()} from {module_name}"
     assert (
         docstr.count("</dd>") == 0
-    ), f"unnecesary </dd> field {instance.get_name()} from {module_name}"
+    ), f"unnecessary </dd> field {instance.get_name()} from {module_name}"
 
     assert (
         docstr.count("<url>") > 0

test/helper.py

@@ -1,8 +1,7 @@
 import time
 from typing import Optional
 
-from mathics.core.load_builtin import import_and_load_builtins
-from mathics.session import MathicsSession
+from mathics.session import MathicsSession, import_and_load_builtins
 
 import_and_load_builtins()