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

Tidy up some code in parsing.jl #8

Merged
merged 5 commits into from
Sep 21, 2021
Merged

Tidy up some code in parsing.jl #8

merged 5 commits into from
Sep 21, 2021

Conversation

nickrobinson251
Copy link
Owner

@nickrobinson251 nickrobinson251 commented Sep 20, 2021

Mostly this is to simplify code... it could possibly help parsing time, but @btime doesn't say so.

  • avoid recreating options (creating Options is actually really cheap, but still unnecessary to do it per file to be parsed), and simplify some of the code inside the parsing functions
  • annotate parse_record! return type because @code_warntype seemed to not be able to work it out

@nickrobinson251 nickrobinson251 merged commit ad0c56f into main Sep 21, 2021
@nickrobinson251 nickrobinson251 deleted the npr/reuse-options branch October 23, 2021 10:18
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.

1 participant