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

Functions from weak are breaking all marking invariants on ephemerons #9424

Merged
merged 2 commits into from
Jul 20, 2021
Merged

Functions from weak are breaking all marking invariants on ephemerons #9424

merged 2 commits into from
Jul 20, 2021

Commits on Jul 14, 2021

  1. [Weak] Add a tests for ephemeron setting above not alive keys

    @bobot
    bobot committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    6909cad View commit details
    Browse the repository at this point in the history

  2. [Weak] keep *set_* and *blit_* from breaking marking invariants. 

           There is a tradeoff between marking data that could be avoiding and
       inspecting too much keys. The choice here is to keep the computation
       linear in the argument (we only look at the keys that are blitted or set).

       rename ephe_list_pure into caml_ephe_list_pure

       Fixes ocaml#9391
    @bobot
    bobot committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    4716c8e View commit details
    Browse the repository at this point in the history