Fix type checking errors from MyPy 1.11 (#910)

MyPy 1.11 seems to have greatly improved its ability to type check, but
that also revealed a huge number of issues in the type hints used in the
compiler. This PR fixes those type hints (hopefully).

Author: chrisrink10

CHANGELOG.md

@@ -8,6 +8,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Added
  * Added `:end-line` and `:end-col` metadata to forms during compilation (#903)
 
+### Changed
+ * Updated dozens of type annotations in the compiler to satisfy MyPy 1.11 (#910)
+
 ### Fixed
  * Fix a bug where `.` characters were not allowed in keyword names (#899)
  * Fix a bug where nested quotation marks were not escaped properly by various print functions and at the REPL (#894)

src/basilisp/lang/compiler/analyzer.py

@@ -1,5 +1,4 @@
 # pylint: disable=too-many-branches,too-many-lines,too-many-return-statements
-import ast
 import builtins
 import collections
 import contextlib
@@ -616,7 +615,6 @@ def AnalyzerException(
         msg: str,
         form: Union[LispForm, None, ISeq] = None,
         lisp_ast: Optional[Node] = None,
-        py_ast: Optional[ast.AST] = None,
     ) -> CompilerException:
         """Return a CompilerException annotated with the current filename and
         :analyzer compiler phase set. The remaining keyword arguments are passed
@@ -627,7 +625,6 @@ def AnalyzerException(
             filename=self.filename,
             form=form,
             lisp_ast=lisp_ast,
-            py_ast=py_ast,
         )
 
 

src/basilisp/lang/compiler/exception.py

@@ -63,7 +63,7 @@ class CompilerException(IExceptionInfo):
     filename: str
     form: Union[LispForm, None, ISeq] = None
     lisp_ast: Optional[Node] = None
-    py_ast: Optional[ast.AST] = None
+    py_ast: Optional[Union[ast.expr, ast.stmt]] = None
 
     @property
     def data(self) -> IPersistentMap: