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

Add declaration-site variance feature specification #1230

Open
wants to merge 10 commits into
base: main
Choose a base branch
from
Open

Add declaration-site variance feature specification #1230

wants to merge 10 commits into from

Commits on Jan 27, 2022

  1. First iteration on variance feature specification

    @eernstg
    eernstg committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    ae6506b View commit details
    Browse the repository at this point in the history

  2. WIP

    @eernstg
    eernstg committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    d1bbf58 View commit details
    Browse the repository at this point in the history

  3. Now allowing legacy/sound parameters to be mixed in subtype relations… 

    …hips
    @eernstg
    eernstg committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    a7f914d View commit details
    Browse the repository at this point in the history

  4. Typo fix to markdown link

    @eernstg
    eernstg committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    ecbbb5a View commit details
    Browse the repository at this point in the history

  5. Revised the migration section

    @eernstg
    eernstg committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    fdc4116 View commit details
    Browse the repository at this point in the history

  6. Added note about issue in need of clarification

    @eernstg
    eernstg committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    320ae87 View commit details
    Browse the repository at this point in the history

  7. Improved treatment of mixed programs

    @eernstg
    eernstg committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    e8bdb87 View commit details
    Browse the repository at this point in the history

  8. Clarified treatment of mixed programs

    @eernstg
    eernstg committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    4682754 View commit details
    Browse the repository at this point in the history

  9. Typo

    @eernstg
    eernstg committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    b944a7b View commit details
    Browse the repository at this point in the history

Commits on Jan 28, 2022

  1. Review response

    @eernstg
    eernstg committed Jan 28, 2022
    Configuration menu
    Copy the full SHA
    5b1e3c6 View commit details
    Browse the repository at this point in the history