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

Generics details 6: remove facets #950

Merged
merged 40 commits into from
Jan 6, 2022
Merged

Generics details 6: remove facets #950

merged 40 commits into from
Jan 6, 2022

Commits on Nov 12, 2021

  1. Filling out template with PR 950

    @josh11b
    josh11b committed Nov 12, 2021
    Configuration menu
    Copy the full SHA
    c2b0276 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2021

  1. Terminology, goals, starting on overview

    @josh11b
    josh11b committed Nov 14, 2021
    Configuration menu
    Copy the full SHA
    c553ddb View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2021

  1. Remove definition of facet types

    @josh11b
    josh11b committed Nov 15, 2021
    Configuration menu
    Copy the full SHA
    5c32f62 View commit details
    Browse the repository at this point in the history

  2. Define dependent

    @josh11b
    josh11b committed Nov 15, 2021
    Configuration menu
    Copy the full SHA
    ca1dc56 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2021

  1. Overview

    @josh11b
    josh11b committed Nov 16, 2021
    Configuration menu
    Copy the full SHA
    cb133b8 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2021

  1. Checkpoint progress.

    @josh11b
    josh11b committed Nov 17, 2021
    Configuration menu
    Copy the full SHA
    2c5000f View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Nov 17, 2021
    Configuration menu
    Copy the full SHA
    2f4a757 View commit details
    Browse the repository at this point in the history

  3. Interfaces recap to named constraints

    @josh11b
    josh11b committed Nov 17, 2021
    Configuration menu
    Copy the full SHA
    fa25003 View commit details
    Browse the repository at this point in the history

  4. Unrelated fixes

    @josh11b
    josh11b committed Nov 17, 2021
    Configuration menu
    Copy the full SHA
    a6e5680 View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2021

  1. Up through adapters

    @josh11b
    josh11b committed Nov 18, 2021
    Configuration menu
    Copy the full SHA
    32451e5 View commit details
    Browse the repository at this point in the history

  2. Changes based on review suggestions

    @josh11b
    josh11b committed Nov 18, 2021
    Configuration menu
    Copy the full SHA
    bae453a View commit details
    Browse the repository at this point in the history

  3. Apply suggestions from code review 

    Co-authored-by: Wolff Dobson <wolffg@users.noreply.github.com>
    @josh11b @wolffg
    josh11b and wolffg committed Nov 18, 2021
    Configuration menu
    Copy the full SHA
    92e7d27 View commit details
    Browse the repository at this point in the history

  4. Fix formatting

    @josh11b
    josh11b committed Nov 18, 2021
    Configuration menu
    Copy the full SHA
    f44af82 View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2021

  1. Checkpoint progress.

    @josh11b
    josh11b committed Nov 19, 2021
    Configuration menu
    Copy the full SHA
    1571d6c View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2021

  1. Where constraints

    @josh11b
    josh11b committed Nov 22, 2021
    Configuration menu
    Copy the full SHA
    1214030 View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2021

  1. Other constraints

    @josh11b
    josh11b committed Nov 23, 2021
    Configuration menu
    Copy the full SHA
    c4ba4d5 View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2021

  1. Split out unrelated edits into #965

    @josh11b
    josh11b committed Dec 2, 2021
    Configuration menu
    Copy the full SHA
    0b4b8a3 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2021

  1. Checkpoint progress.

    @josh11b
    josh11b committed Dec 3, 2021
    Configuration menu
    Copy the full SHA
    d68680c View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Dec 3, 2021
    Configuration menu
    Copy the full SHA
    48b9f73 View commit details
    Browse the repository at this point in the history

  3. Some more work on alternatives considered

    @josh11b
    josh11b committed Dec 3, 2021
    Configuration menu
    Copy the full SHA
    c4248dc View commit details
    Browse the repository at this point in the history

  4. Associated types outside a generic

    @josh11b
    josh11b committed Dec 3, 2021
    Configuration menu
    Copy the full SHA
    41bb807 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2021

  1. Generic let

    @josh11b
    josh11b committed Dec 4, 2021
    Configuration menu
    Copy the full SHA
    3482ff4 View commit details
    Browse the repository at this point in the history

  2. Progress on proposal

    @josh11b
    josh11b committed Dec 4, 2021
    Configuration menu
    Copy the full SHA
    b2ddf50 View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2021

  1. Alternatives considered

    @josh11b
    josh11b committed Dec 6, 2021
    Configuration menu
    Copy the full SHA
    5f0dc1c View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Dec 6, 2021
    Configuration menu
    Copy the full SHA
    35bf702 View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2021

  1. Merge remote-tracking branch 'upstream/trunk' into no-facet

    @josh11b
    josh11b committed Dec 7, 2021
    Configuration menu
    Copy the full SHA
    8d02bfc View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/trunk' into no-facet

    @josh11b
    josh11b committed Dec 7, 2021
    Configuration menu
    Copy the full SHA
    f963af5 View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2021

  1. Merge remote-tracking branch 'upstream/trunk' into no-facet

    @josh11b
    josh11b committed Dec 9, 2021
    Configuration menu
    Copy the full SHA
    a4f948c View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/trunk' into no-facet

    @josh11b
    josh11b committed Dec 9, 2021
    Configuration menu
    Copy the full SHA
    696f3a7 View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2021

  1. Add reference to this pr

    @josh11b
    josh11b committed Dec 13, 2021
    Configuration menu
    Copy the full SHA
    a282f81 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2021

  1. Merge remote-tracking branch 'upstream/trunk' into no-facet

    @josh11b
    josh11b committed Dec 15, 2021
    Configuration menu
    Copy the full SHA
    5bffe7a View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2021

  1. Apply suggestions from code review 

    Co-authored-by: Richard Smith <richard@metafoo.co.uk>
    @josh11b @zygoloid
    josh11b and zygoloid committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    8de0afd View commit details
    Browse the repository at this point in the history

  2. Clarify based on feedback

    @josh11b
    josh11b committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    510043d View commit details
    Browse the repository at this point in the history

  3. this -> me

    @josh11b
    josh11b committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    373aa70 View commit details
    Browse the repository at this point in the history

  4. Use impl not extends in an adapter

    @josh11b
    josh11b committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    64887a7 View commit details
    Browse the repository at this point in the history

  5. Give interface a name

    @josh11b
    josh11b committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    bbe815c View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2022

  1. Merge remote-tracking branch 'upstream/trunk' into no-facet

    @josh11b
    josh11b committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    eb22660 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2022

  1. Apply suggestions from code review 

    Co-authored-by: Richard Smith <richard@metafoo.co.uk>
    @josh11b @zygoloid
    josh11b and zygoloid committed Jan 5, 2022
    Configuration menu
    Copy the full SHA
    ec9b895 View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2022

  1. let template -> let

    @josh11b
    josh11b committed Jan 6, 2022
    Configuration menu
    Copy the full SHA
    dbd0faa View commit details
    Browse the repository at this point in the history

  2. Fix

    @josh11b
    josh11b committed Jan 6, 2022
    Configuration menu
    Copy the full SHA
    4c9db28 View commit details
    Browse the repository at this point in the history