Replace comment with type hint

david-a-wheeler / mmverify.py

Metamath verifier in Python

MIT License

35 stars 10 forks source link

Replace comment with type hint #18

Closed io12 closed 1 year ago

minopret commented 1 year ago

Compatibility is OK: "typing.Literal", new in Python 3.8, is 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

Okay, it seems to work, and it doesn't seem to slow it down significantly in a timing test I ran.