Skip to content

Add/fix type annotations in languages.py (and fix outdated README example for language config) - #460

Merged
pehrsoderman merged 3 commits into
Kattis:masterfrom
gkreitz:type_annotations_and_cleanup
Aug 14, 2026
Merged

Add/fix type annotations in languages.py (and fix outdated README example for language config)#460
pehrsoderman merged 3 commits into
Kattis:masterfrom
gkreitz:type_annotations_and_cleanup

Conversation

@gkreitz

@gkreitz gkreitz commented Aug 14, 2026

Copy link
Copy Markdown
Contributor

Adds type annotations to untyped methods in languages, and adjusts initialization a bit to not make mandatory fields appear optional to mypy.

@pehrsoderman
pehrsoderman merged commit 2713df1 into Kattis:master Aug 14, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants