search

david-a-wheeler / mmverify.py

Metamath verifier in Python
MIT License
35 stars 10 forks source link

Fix errors when static type checking (e.g., mypy) #19

Closed minopret closed 1 year ago

minopret commented 1 year ago

Compatibility is NOT OK: "typing.TypeGuard", new in Python 3.10, is NOT available when using set.mm verifiers.yml that requires Python 3.9. That change, made May 7, 2022, is in effect for branches develop and founded-partial-recursion.

david-a-wheeler commented 1 year ago

Python 3.10.0 was released on 4 October 2021. Is it reasonable to presume everyone has this version?

I think the CI/CD pipeline should be fine with this change. Ubuntu-latest workflows use Ubuntu-22.04 and that has Python 3.10.

So I think it's reasonable to assume this. Does anyone anticipate problems?

david-a-wheeler commented 1 year ago

Okay, let's merge.