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

Making Map.unorderedTraverse stack safe #4463

Merged
merged 7 commits into from
Jul 7, 2023
Merged

Making Map.unorderedTraverse stack safe #4463

merged 7 commits into from
Jul 7, 2023

Commits on Jun 20, 2023

  1. Avoiding stackoverflows in Map.unorderedTraverse

    @TonioGela
    TonioGela committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    1a6aa56 View commit details
    Browse the repository at this point in the history

  2. Fixing map concatenation

    @TonioGela
    TonioGela committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    b7d97fd View commit details
    Browse the repository at this point in the history

  3. Fixing numeric literals for 2.12

    @TonioGela
    TonioGela committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    fc08643 View commit details
    Browse the repository at this point in the history

  4. Adding benchmarks

    @TonioGela
    TonioGela committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    4690306 View commit details
    Browse the repository at this point in the history

  5. Adding header

    @TonioGela
    TonioGela committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    e7e0697 View commit details
    Browse the repository at this point in the history

  6. Using chain.iterator.toMap for map rebuilding

    @TonioGela
    TonioGela committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    e42746a View commit details
    Browse the repository at this point in the history

  7. Choosing the travaerseViaChain implementation for Map.unorderedTraverse

    @TonioGela
    TonioGela committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    5c69f83 View commit details
    Browse the repository at this point in the history