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

Bump rustc version #655

Merged
merged 8 commits into from
May 13, 2024
Merged

Bump rustc version #655

merged 8 commits into from
May 13, 2024

Commits on May 7, 2024

  1. Silence some OCaml warnings

    @Nadrieril
    Nadrieril committed May 7, 2024
    Configuration menu
    Copy the full SHA
    dc40421 View commit details
    Browse the repository at this point in the history

  2. Bump rustc version

    @Nadrieril
    Nadrieril committed May 7, 2024
    Configuration menu
    Copy the full SHA
    9eaaf60 View commit details
    Browse the repository at this point in the history

  3. Bump rustc version

    @Nadrieril
    Nadrieril committed May 7, 2024
    Configuration menu
    Copy the full SHA
    01a97cb View commit details
    Browse the repository at this point in the history

  4. Bump rustc version

    @Nadrieril
    Nadrieril committed May 7, 2024
    Configuration menu
    Copy the full SHA
    f5bb0d9 View commit details
    Browse the repository at this point in the history

  5. Tweak clause id hash 

    This will make it possible to reuse `Binder::hash()` instead of this
manual hashing.
    @Nadrieril
    Nadrieril committed May 7, 2024
    Configuration menu
    Copy the full SHA
    dcf04e6 View commit details
    Browse the repository at this point in the history

  6. Rework clause hashing 

    This doesn't change the hashes, only makes the hashing process easier to
follow.
    @Nadrieril
    Nadrieril committed May 7, 2024
    Configuration menu
    Copy the full SHA
    a41bf86 View commit details
    Browse the repository at this point in the history

  7. Simplify a little

    @Nadrieril
    Nadrieril committed May 7, 2024
    Configuration menu
    Copy the full SHA
    66e34b8 View commit details
    Browse the repository at this point in the history

  8. Bump rustc version

    @Nadrieril
    Nadrieril committed May 7, 2024
    Configuration menu
    Copy the full SHA
    9387c52 View commit details
    Browse the repository at this point in the history