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

Fix type of Long.MIN_VALUE and Long.MAX_VALUE #3100

Merged
merged 1 commit into from Apr 3, 2023
Merged

Fix type of Long.MIN_VALUE and Long.MAX_VALUE #3100

merged 1 commit into from Apr 3, 2023

Commits on Apr 3, 2023

  1. Fix type of Long.MIN_VALUE and Long.MAX_VALUE 

    `Long.MIN_VALUE` and `Long.MAX_VALUE` should be of type `long` like it
is in the JDK sources.

This change shouldn't impact any previously working proofs since these
values get translated to the correct numbers in JavaDL as sort `int`
regardless.

Theoretically this change could introduce new type issues when parsing
previously working Java code, but this seems unlikely since the `int`
types would probably have been widened to `long` before anyway.
    @ChristianHein
    ChristianHein committed Apr 3, 2023
    Copy the full SHA
    cf26790 View commit details
    Browse the repository at this point in the history