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

Java type generics #4832

Merged
merged 27 commits into from
Nov 30, 2020
Merged

Java type generics #4832

merged 27 commits into from
Nov 30, 2020

Commits on Nov 28, 2020

  1. Generify, needs some testing and review

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    19d83e3 View commit details
    Browse the repository at this point in the history

  2. Remove unnecessary change

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    da9c2ed View commit details
    Browse the repository at this point in the history

  3. Whoops, ? capture that type

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    7c30c50 View commit details
    Browse the repository at this point in the history

  4. Misread the docs, whoops

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    c1096ad View commit details
    Browse the repository at this point in the history

  5. More permissible arithmetic operations

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    9173296 View commit details
    Browse the repository at this point in the history

  6. Implement believed Optimize generics

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    9ad727d View commit details
    Browse the repository at this point in the history

  7. Missed a few generics

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    b6b42c9 View commit details
    Browse the repository at this point in the history

  8. More permissible expr for arrays in parameters

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    8904764 View commit details
    Browse the repository at this point in the history

  9. More permissible expr for bitvecs in parameters

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    92f5f2d View commit details
    Browse the repository at this point in the history

  10. More permissible expr for bools in parameters

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    9d4aa7c View commit details
    Browse the repository at this point in the history

  11. More permissible expr for fps in parameters

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    dd80510 View commit details
    Browse the repository at this point in the history

  12. More permissible expr for fprms in parameters

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    e154a47 View commit details
    Browse the repository at this point in the history

  13. More permissible expr for ints in parameters

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    37da41d View commit details
    Browse the repository at this point in the history

  14. More permissible expr for reals in parameters

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    f7f43a8 View commit details
    Browse the repository at this point in the history

  15. Undo breaking name conflict due to type erasure; see notes

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    e3d7a9b View commit details
    Browse the repository at this point in the history

  16. Whoops, fix typing of ReExpr

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    372de12 View commit details
    Browse the repository at this point in the history

  17. Sort corrections for Re, Seq

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    7894e69 View commit details
    Browse the repository at this point in the history

  18. More permissible expr for regular expressions in parameters

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    5f58655 View commit details
    Browse the repository at this point in the history

  19. Fix name conflict between sequences and regular expressions; see notes

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    67e4ef8 View commit details
    Browse the repository at this point in the history

  20. Minor typo, big implications!

    @addisoncrump
    addisoncrump committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    714e8f7 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2020

  1. Make Constructor consistent, associate captured types with other unkn… 

    …own capture types for datatype consistency
    @addisoncrump
    addisoncrump committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    e47e996 View commit details
    Browse the repository at this point in the history

  2. More expressive; outputs of multiple datatype definitions are only kn… 

    …own to be sort, not capture, and Constructor.of should make a capture
    @addisoncrump
    addisoncrump committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    d975295 View commit details
    Browse the repository at this point in the history

  3. Be less dumb and just type it a little differently

    @addisoncrump
    addisoncrump committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    cf0289e View commit details
    Browse the repository at this point in the history

  4. Update examples, make sure to type Expr and FuncDecl sort returns

    @addisoncrump
    addisoncrump committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    c5a1737 View commit details
    Browse the repository at this point in the history

  5. General fixups

    @addisoncrump
    addisoncrump committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    ca8a595 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2020

  1. Downgrade java version, make it only for the generic support, remove … 

    …var and Expr[]::new construction
    @addisoncrump
    addisoncrump committed Nov 30, 2020
    Configuration menu
    Copy the full SHA
    4e14a1c View commit details
    Browse the repository at this point in the history

  2. Turns out Java 8 hadn't figured out how to do stream generics yet. Di… 

    …dn't even show up in my IDE, weird
    @addisoncrump
    addisoncrump committed Nov 30, 2020
    Configuration menu
    Copy the full SHA
    82a0d4f View commit details
    Browse the repository at this point in the history