Fix 7807 #7820
Fix 7807 #7820
Conversation
Commit a8c7947 removed the old parser after the new one had taken over, but the ability to use `mypy.parse` as a script for dumping parse trees was also removed, perhaps by accident. This commit adds that functionality back as a script under `misc/`.
There was a problem hiding this comment.
Thanks for adding the AST dump functionality back! This will helpful for new contributors, in particular. Looks good.
Optionally, it would nice to have a few test cases for this (in a separate PR), but since this is a developer-only utility, it's not very important.
|
@JukkaL I just came across this. The wiki is outdated yet, I'm willing to update it, is there any review process to edit the wiki? I never contributed to a wiki inside github yet, only PRs. |
|
@dhilst We don't have a specific review process for the wiki (the wiki has been somewhat neglected). One way would be to create an issue here with the proposed changes. Or maybe you can just edit a wiki page, and create an issue where you link to your changes, so that somebody can check them. |
3 participants
Commit a8c7947 removed the old parser after the new one had taken
over, but the ability to use
mypy.parseas a script for dumpingparse trees was also removed, perhaps by accident. This commit adds
that functionality back as the
misc/dump-ast.pyscript.This partially resolves issue #7807. What remains is editing the wiki accordingly.