Skip to content

Delete unused down option from parse_docstring #430

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

Merged
merged 2 commits into from
Jul 17, 2024
Merged

Conversation

LilithHafner
Copy link
Member

@LilithHafner LilithHafner commented Apr 22, 2024

This is an NFC simplification of control flow.

After this merges, I plan to follow up with swapping the order of parse_public and parse_docstring and then adjusting the quote callsites of parse_eq to be parse_public. That should fix - JuliaLang/julia#51450 without allowing docstrings in quotes. (or, if we'd like, we can also allow docstrings in quotes)

Copy link

codecov bot commented Jul 6, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 93.03%. Comparing base (ae7d6ac) to head (796d09e).

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #430      +/-   ##
==========================================
- Coverage   95.97%   93.03%   -2.95%     
==========================================
  Files          14       14              
  Lines        4196     3989     -207     
==========================================
- Hits         4027     3711     -316     
- Misses        169      278     +109     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Copy link
Member

@c42f c42f left a comment

Choose a reason for hiding this comment

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

Sure. Idk why this is like it is. It seems historical.

@LilithHafner LilithHafner merged commit a63e8bb into main Jul 17, 2024
38 checks passed
@LilithHafner LilithHafner deleted the lh/cleanup branch July 17, 2024 19:36
@c42f c42f mentioned this pull request Jul 23, 2024
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