Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

markdown: improve preprocessors type #4588

Merged
merged 2 commits into from
Sep 30, 2020
Merged

markdown: improve preprocessors type #4588

merged 2 commits into from
Sep 30, 2020

Conversation

third_party/2and3/markdown/preprocessors.pyi Outdated Show resolved Hide resolved
@@ -17,10 +17,10 @@ class HtmlBlockPreprocessor(Preprocessor):
attrs_re: Any
left_tag_re: Any
markdown_in_raw: bool = ...
def run(self, lines): ...
def run(self, lines: List[str]) -> List[str]: ...

class ReferencePreprocessor(Preprocessor):
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This class doesn't exist in the file you linked to?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good spot, looks like it got removed eight days ago, changes haven't been released

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good timing. Out of scope for this PR then.

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

For what it's worth it looks like this one actually did need a List

third_party/2and3/markdown/preprocessors.pyi Outdated Show resolved Hide resolved
third_party/2and3/markdown/preprocessors.pyi Outdated Show resolved Hide resolved
third_party/2and3/markdown/preprocessors.pyi Outdated Show resolved Hide resolved
@hauntsaninja hauntsaninja merged commit 8879858 into master Sep 30, 2020
@hauntsaninja hauntsaninja deleted the markdown branch September 30, 2020 21:34
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