Steven Troxler
Steven Troxler
Walk through some example rules and explain them in detail. This could be a real benefit for external contributors.
When debugging a separate issue, I discovered that Time/EN happily resolves "9:15 815" to 9:15 on January 1, 815 (i.e. a very specific time of day during the Byzantine Empire),...
I was catching up on a long python-dev discussion about the state of type annotations, and noticed that @gvanrossum had asked for a list of easily discoverable (by search engines)...
When I tried running the convert_type_comments codemod on a nontrivial directory, I got thousands of this error: ``` Codemodding /path/to/some/python/file.py Traceback (most recent call last): File "/home/stroxler/kode/LibCST/libcst/codemod/_cli.py", line 288, in...
Reviewed By: grievejia Differential Revision: D39731954
The version of pyre-check-nightly that is failing to run in CI (not just for us, but also for torchx) appears to work just fine on my machine. I think I...
It would be interesting to see how well the TypeWriter algorithm (https://software-lab.org/publications/TypeWriter_arXiv_1912.03768.pdf) for searching type annotation suggestions works against type4py. We might get dramatically better results for two reasons: -...
There is now an optional second argument to the test script, so that you can, e.g., test only the first stage programs.
Summary: This may lead to more code being type checked than desired, but I think we can use excludes to handle this if that is a problem. Differential Revision: D40606047