Upgrade mypy target version

crosshair/_tracers_test.py

@@ -5,7 +5,7 @@
 
 import pytest
 
-from _crosshair_tracers import CTracer, code_stack_depths, frame_stack_read
+from _crosshair_tracers import CTracer, code_stack_depths, frame_stack_read  # type: ignore
 from crosshair.util import mem_usage_kb
 
 

crosshair/core_regestered_types_test.py

@@ -15,7 +15,7 @@
 )
 
 import pytest  # type: ignore
-import typing_inspect
+import typing_inspect  # type: ignore
 
 from crosshair.core import _SIMPLE_PROXIES, proxy_for_type
 from crosshair.dynamic_typing import origin_of

crosshair/libimpl/datetimelib.py

@@ -65,7 +65,7 @@ def _is_leap(year):
     return year % 4 == 0 and (year % 100 != 0 or year % 400 == 0)
 
 
-import z3
+import z3  # type: ignore
 
 
 def _smt_is_leap(smt_year):

crosshair/libimpl/mathlib.py

@@ -1,7 +1,7 @@
 import math
 import sys
 
-import z3
+import z3  # type: ignore
 
 from crosshair import NoTracing, register_patch
 from crosshair.core import with_realized_args

crosshair/smtlib_test.py

@@ -1,6 +1,6 @@
 import math
 
-import z3
+import z3  # type: ignore
 
 from crosshair.smtlib import parse_smtlib_literal
 

crosshair/tracers.py

@@ -22,7 +22,7 @@
     TypeVar,
 )
 
-from _crosshair_tracers import CTracer, TraceSwap, supported_opcodes
+from _crosshair_tracers import CTracer, TraceSwap, supported_opcodes  # type: ignore
 
 USE_C_TRACER = True
 

crosshair/util.py

@@ -44,7 +44,7 @@
     cast,
 )
 
-import typing_inspect
+import typing_inspect  # type: ignore
 
 from crosshair.auditwall import opened_auditwall
 from crosshair.tracers import COMPOSITE_TRACER, NoTracing, ResumedTracing, is_tracing

crosshair/z3util.py

@@ -14,7 +14,7 @@
     Z3_mk_or,
     Z3_solver_assert,
 )
-from z3.z3 import _to_ast_array
+from z3.z3 import _to_ast_array  # type: ignore
 
 ctx = z3.main_ctx()
 ctx_ref = ctx.ref()

setup.cfg

@@ -18,9 +18,7 @@ extend-ignore =
 profile = black
 
 [mypy]
-# We should be targeting 3.7 compatibility, but I can't for the life of me figure out
-# how to avoid an error with numpy's pyi files. (follow_imports=skip doesn't help!)
-python_version = 3.8
+python_version = 3.9
 warn_unused_configs = True
 
 [mypy-crosshair.tools.*]