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.

Sign up for GitHub

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

Jump to bottom

Pull Compilation Tweak: reuse BuildR object. #2772

Merged
merged 1 commit into from
Dec 25, 2021
Merged

Pull Compilation Tweak: reuse BuildR object. #2772

merged 1 commit into from
Dec 25, 2021

Commits on Dec 25, 2021

  1. Pull Compilation Tweak: reuse BuildR object. 

    In the compilation loop, the BuildR simply represents a sort-of
callback or continuation, to connect the result of an inner stream.
We use them because directly passing the Uncons or the StepLeg runners
currently causes memory leaks.

However, since the BuildR object itself has no state, we can just
reuse a same object all through the compilation.
    @diesalbla
    diesalbla committed Dec 25, 2021
    Configuration menu
    Copy the full SHA
    6c3304a View commit details
    Browse the repository at this point in the history