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

Attempt to revert 14026 #15343

Merged
merged 4 commits into from
Jun 1, 2022
Merged

Attempt to revert 14026 #15343

merged 4 commits into from
Jun 1, 2022

Commits on May 31, 2022

  1. Put level checking under a config flag 

    Off by default
    @odersky
    odersky committed May 31, 2022
    Configuration menu
    Copy the full SHA
    2317859 View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2022

  1. Revert "Check that we pickle a definition before its references" 

    More precisely, put it under a Config flag which is off by default.

This reverts commit ae1b00d.
    @odersky
    odersky committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    225a009 View commit details
    Browse the repository at this point in the history

  2. Revert "Remove now-unnecessary avoid when typing closures" 

    More precisely, put it under a Config flag which is off by default.

This reverts commit 629006b.
    @odersky
    odersky committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    7a20f6c View commit details
    Browse the repository at this point in the history

  3. Move failing tests to pending 

    Only i7519c is unexpected; need to figure out why it fails here.
    @odersky
    odersky committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    44c2a3b View commit details
    Browse the repository at this point in the history