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

Enhance the definition of "derives a future type" #3574

Merged
merged 24 commits into from
Feb 28, 2024
Merged

Enhance the definition of "derives a future type" #3574

merged 24 commits into from
Feb 28, 2024

Commits on Jan 18, 2024

  1. Enhance the definition of "derives a future type"

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    f79a2ab View commit details
    Browse the repository at this point in the history

  2. Typo

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    b51e3a1 View commit details
    Browse the repository at this point in the history

  3. Typo

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    365d7ae View commit details
    Browse the repository at this point in the history

  4. Commas

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    b2b2572 View commit details
    Browse the repository at this point in the history

  5. Simplify a rule

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    10d25e5 View commit details
    Browse the repository at this point in the history

  6. Typo

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    dcf3f74 View commit details
    Browse the repository at this point in the history

  7. Typo

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    56b797c View commit details
    Browse the repository at this point in the history

  8. Typo

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    84db542 View commit details
    Browse the repository at this point in the history

  9. Commas before then

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    bc75c8b View commit details
    Browse the repository at this point in the history

  10. Remove "the future type" where possible

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    f52a9d8 View commit details
    Browse the repository at this point in the history

  11. Improved wording

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    a143a9b View commit details
    Browse the repository at this point in the history

  12. Add comment and "direct or indirect" to "derives a future type"

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    baa927f View commit details
    Browse the repository at this point in the history

  13. Now specifying the superinterface case explicitly

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    993c307 View commit details
    Browse the repository at this point in the history

  14. Remove unused requirement

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    c2f7859 View commit details
    Browse the repository at this point in the history

  15. Added commentary

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    93549ec View commit details
    Browse the repository at this point in the history

  16. Rename symbols

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    765edcf View commit details
    Browse the repository at this point in the history

  17. Rewording

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    0f7e671 View commit details
    Browse the repository at this point in the history

  18. Rewording

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    dfdbd20 View commit details
    Browse the repository at this point in the history

  19. Rewording

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    c76b032 View commit details
    Browse the repository at this point in the history

  20. Typo

    @eernstg
    eernstg committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    b99a498 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2024

  1. Correction: add reflexive case to "derive a future type", first item

    @eernstg
    eernstg committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    4fbc769 View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2024

  1. Review response

    @eernstg
    eernstg committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    e2c4e68 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. Remove now-redundant case in the definition of flatten

    @eernstg
    eernstg committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    c80a31b View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. Correct the changelog date

    @eernstg
    eernstg committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    60debe8 View commit details
    Browse the repository at this point in the history