Skip to content
This repository has been archived by the owner on Oct 2, 2021. It is now read-only.

Switch to mypy #88

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

Switch to mypy #88

wants to merge 1 commit into from

Conversation

dirn
Copy link
Member

@dirn dirn commented Oct 12, 2020

This is a work-in-progress attempt at switching over to mypy as part of
#85. There's still some work to be done (e.g. mypy ignore comments need
to be added where appropriate) and I'm currently working with some
local changes pyre's stubs, but I wanted to track the work being done.

@dirn dirn force-pushed the switch-to-mypy branch 3 times, most recently from a8e31cc to 7dc0ff9 Compare October 12, 2020 21:58
@dirn dirn force-pushed the switch-to-mypy branch 6 times, most recently from cb06491 to a109ee1 Compare November 10, 2020 22:13
This is a work-in-progress attempt at switching over to mypy as part of
 #85. There's still some work to be done (e.g. mypy ignore comments need
to be added where appropriate) and I'm currently working with some
local changes pyre's stubs, but I wanted to track the work being done.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant