[x] I've ran the linters locally and fixed lint errors related to the files I modified in this PR. You can install the linters by running pip install -r requirements-dev.txt && pre-commit install
[x] pre-commit run
Summary
This PR fixed #773, and I think I descibed clearly in #773.
Test Plan
I can't build Pyre since I'm using Windows, but I test some pieces of code, and they looks work.
Pre-submission checklist
pip install -r requirements-dev.txt && pre-commit install
pre-commit run
Summary
This PR fixed #773, and I think I descibed clearly in #773.
Test Plan
I can't build Pyre since I'm using Windows, but I test some pieces of code, and they looks work.