Change a few small typing related things

This commit is contained in:
Dave Halter
2026-02-04 16:05:26 +01:00
parent 07fb4584a3
commit 22da0526b3
4 changed files with 20 additions and 6 deletions

View File

@@ -33,4 +33,4 @@ def test_invalid_grammar_version(string):
def test_grammar_int_version():
with pytest.raises(TypeError):
load_grammar(version=3.8)
load_grammar(version=3.8) # type: ignore